Renamed peers.txt to peers.conf & restored status message layout
This commit is contained in:
parent
e075e2601b
commit
118da141a2
@ -112,7 +112,8 @@ let pull_msgs url _authors _topics = match http_apply response url with
|
|||||||
let msgs = if cardinal msgs > 3 then remove (max_elt msgs) msgs else msgs in
|
let msgs = if cardinal msgs > 3 then remove (max_elt msgs) msgs else msgs in
|
||||||
add (v,m) msgs
|
add (v,m) msgs
|
||||||
| _ -> msgs) in
|
| _ -> msgs) in
|
||||||
MsgSet.iter (fun (t,m) -> print_endline (m ^ "\n\t\t -- " ^ Ptime.to_rfc3339 t)) msgs
|
print_endline ("\n" ^ Uri.to_string url);
|
||||||
|
MsgSet.iter (fun (t,m) -> print_endline (Ptime.to_rfc3339 t ^ "\t" ^ m)) msgs
|
||||||
|
|
||||||
let pull_fn url = match Uri.of_string url with
|
let pull_fn url = match Uri.of_string url with
|
||||||
| x when x = Uri.empty -> (fun _ _ -> ())
|
| x when x = Uri.empty -> (fun _ _ -> ())
|
||||||
@ -120,7 +121,7 @@ let pull_fn url = match Uri.of_string url with
|
|||||||
| x when Uri.scheme x = Some "msg+https"-> pull_msgs Uri.(with_scheme x (Some "https"))
|
| x when Uri.scheme x = Some "msg+https"-> pull_msgs Uri.(with_scheme x (Some "https"))
|
||||||
| x -> pull_index x
|
| x -> pull_index x
|
||||||
|
|
||||||
let pull_list auths topics = match open_in "peers.txt" with
|
let pull_list auths topics = match open_in "peers.conf" with
|
||||||
| exception (Sys_error msg) -> prerr_endline msg
|
| exception (Sys_error msg) -> prerr_endline msg
|
||||||
| file ->
|
| file ->
|
||||||
let rec read () =
|
let rec read () =
|
||||||
|
Loading…
x
Reference in New Issue
Block a user