From 4d3f12f167729ecb5de5b9bf8e18f9eca52beced Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 25 May 2014 23:26:38 +0200
Subject: Add README, clean up a little.

---
 src/poolserver.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/poolserver.ml')

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);
-- 
cgit v1.2.3