130 |
with e -> |
with e -> |
131 |
if !find_other_port then iter (port+1) |
if !find_other_port then iter (port+1) |
132 |
else begin |
else begin |
133 |
lprintf "Exception %s while starting %s\n" server_name |
lprintf_nl "Exception %s while starting %s" server_name |
134 |
(Printexc2.to_string e); |
(Printexc2.to_string e); |
135 |
None |
None |
136 |
end |
end |
183 |
connection_next_try cc < last_time () |
connection_next_try cc < last_time () |
184 |
|
|
185 |
let print_control c = |
let print_control c = |
186 |
lprintf "Connection Control: ok = %d seconds ago, state = %d, last tried = %d seconds ago, delay = %d, next in %d seconds\n" |
lprintf_nl "Connection Control: ok = %d seconds ago, state = %d, last tried = %d seconds ago, delay = %d, next in %d seconds" |
187 |
(last_time () - c.control_last_ok) c.control_state (last_time () - c.control_last_try) c.control_min_reask (connection_next_try c - last_time ()) |
(last_time () - c.control_last_ok) c.control_state (last_time () - c.control_last_try) c.control_min_reask (connection_next_try c - last_time ()) |
188 |
|
|
189 |
let connection_must_try cc = |
let connection_must_try cc = |
780 |
url-encoded *) |
url-encoded *) |
781 |
name := Printf.sprintf "%s&%s" !name value |
name := Printf.sprintf "%s&%s" !name value |
782 |
else |
else |
783 |
lprintf "MAGNET: unused field %s = %s\n" |
lprintf_nl "MAGNET: unused field %s = %s" |
784 |
value arg |
value arg |
785 |
) url.Url.args; |
) url.Url.args; |
786 |
!name, !uids |
!name, !uids |
895 |
let print_localtime () = |
let print_localtime () = |
896 |
let t = Unix.localtime (Unix.time ()) in |
let t = Unix.localtime (Unix.time ()) in |
897 |
let { Unix.tm_mon = tm_mon; Unix.tm_mday = tm_mday; Unix.tm_hour = tm_hour; Unix.tm_min = tm_min; Unix.tm_sec = tm_sec } = t in |
let { Unix.tm_mon = tm_mon; Unix.tm_mday = tm_mday; Unix.tm_hour = tm_hour; Unix.tm_min = tm_min; Unix.tm_sec = tm_sec } = t in |
898 |
lprintf " on localtime: %2d/%2d, %02d:%02d:%02d\n" tm_mday (tm_mon+1) tm_hour tm_min tm_sec |
lprintf_nl " on localtime: %2d/%2d, %02d:%02d:%02d" tm_mday (tm_mon+1) tm_hour tm_min tm_sec |
899 |
|
|
900 |
|
|
901 |
let new_activity () = { |
let new_activity () = { |