diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 23:26:38 +0200 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 23:26:38 +0200 |
commit | 4d3f12f167729ecb5de5b9bf8e18f9eca52beced (patch) | |
tree | c03ca045d64ea87e7886032dd5dc215df4ab747d /src/poolserver.ml | |
parent | aefaa158e36cd65afa98d6b7c3f0a3d0717e13a4 (diff) | |
download | SystemeReseaux-Projet-4d3f12f167729ecb5de5b9bf8e18f9eca52beced.tar.gz SystemeReseaux-Projet-4d3f12f167729ecb5de5b9bf8e18f9eca52beced.zip |
Add README, clean up a little.
Diffstat (limited to 'src/poolserver.ml')
-rw-r--r-- | src/poolserver.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/poolserver.ml b/src/poolserver.ml index 15a700c..850db3c 100644 --- a/src/poolserver.ml +++ b/src/poolserver.ml @@ -29,7 +29,9 @@ let new_server () = let stop_srv _ = Format.eprintf "Shutting down server...@."; + Hashtbl.iter (fun _ c -> c.disconnect()) server.clients; shutdown server.sock SHUTDOWN_ALL; + close server.sock; exit 0 in Sys.set_signal Sys.sigint (Sys.Signal_handle stop_srv); |