58 |
|
|
59 |
(* prints a new logline with date, module and starts newline *) |
(* prints a new logline with date, module and starts newline *) |
60 |
let lprintf_nl () = |
let lprintf_nl () = |
61 |
lprintf "%s[EDK]: " |
lprintf "%s[EDK] " |
62 |
(log_time ()); lprintf_nl2 |
(log_time ()); lprintf_nl2 |
63 |
|
|
64 |
(* prints a new logline with date, module and does not start newline *) |
(* prints a new logline with date, module and does not start newline *) |
65 |
let lprintf_n () = |
let lprintf_n () = |
66 |
lprintf "%s[EDK]: " |
lprintf "%s[EDK] " |
67 |
(log_time ()); lprintf |
(log_time ()); lprintf |
68 |
|
|
69 |
(* Lifetime of a socket after sending interesting messages *) |
(* Lifetime of a socket after sending interesting messages *) |
2171 |
let nlocs = List.length t.Q.locs in |
let nlocs = List.length t.Q.locs in |
2172 |
|
|
2173 |
if !verbose_location then |
if !verbose_location then |
2174 |
lprintf_nl () "EDK: Received %d sources from server %s:%s for %s" |
lprintf_nl () "Received %d sources from server %s:%s for %s" |
2175 |
nlocs (Ip.to_string s.server_ip) (string_of_int s.server_port) (file_best_name file); |
nlocs (Ip.to_string s.server_ip) (string_of_int s.server_port) (file_best_name file); |
2176 |
|
|
2177 |
s.server_score <- s.server_score + 3; |
s.server_score <- s.server_score + 3; |