From 98edbb390a41d09301d2005f60f8d80ebc201da2 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Sun, 25 May 2014 01:35:56 +0200 Subject: Shutdown stuff. --- src/manager.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/manager.ml') diff --git a/src/manager.ml b/src/manager.ml index 0da7df2..2e856fd 100644 --- a/src/manager.ml +++ b/src/manager.ml @@ -220,6 +220,9 @@ let rec server_run server = end end +let server_shutdown server = + if !my_addr <> "" then shutdown server.sock SHUTDOWN_ALL + (* Main function *) @@ -299,6 +302,6 @@ let () = end; server_run server; - shutdown server.sock SHUTDOWN_ALL; + server_shutdown server; List.iter (fun pid -> ignore (waitpid [] pid)) !pids -- cgit v1.2.3