diff options
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/thibaut/client.ml | 2 | ||||
| -rw-r--r-- | sources/thibaut/clientGlobals.ml | 10 |
2 files changed, 8 insertions, 4 deletions
diff --git a/sources/thibaut/client.ml b/sources/thibaut/client.ml index 5e76289..9aaa3bd 100644 --- a/sources/thibaut/client.ml +++ b/sources/thibaut/client.ml @@ -5,7 +5,7 @@ open ClientMessages open Unix let round = ref 0 -let reply_tick = 20. +let reply_tick = 15. let mesh_tick = 30. let seed_tick = !accuracy/.2. let log_tick = 60. diff --git a/sources/thibaut/clientGlobals.ml b/sources/thibaut/clientGlobals.ml index 88437a1..8349203 100644 --- a/sources/thibaut/clientGlobals.ml +++ b/sources/thibaut/clientGlobals.ml @@ -42,8 +42,6 @@ let print_list f l = Buffer.contents result let print_sockaddr_list l = print_list string_of_sockaddr l -let print_user_map m = print_list (function a,b -> Printf.sprintf "%d|%d" a b) - (UserMap.bindings m) let string_of_message m = match m with | Ping -> "Ping" @@ -163,7 +161,13 @@ let send_message addr (content:message_content) = (string_of_message content); let s = Marshal.to_string message [] in let n = String.length s in - ignore(Unix.sendto socketfd s 0 n [] addr) + try + ignore(Unix.sendto socketfd s 0 n [] addr) + with + Unix_error(err, ctx1, ctx2) as exn -> + Printf.printf "Unix error: %s, %s, %s" (error_message err) ctx1 ctx2; + print_newline(); + raise exn let send_to_all content = let f slot = match slot with |