From 717be1f6873abffcfdb55c14f87f09596888c5f6 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 2 May 2012 11:11:38 -0400 Subject: [PATCH] Clearer final milestone --- hop_server.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/hop_server.ml b/hop_server.ml index 9c94288..56067fc 100644 --- a/hop_server.ml +++ b/hop_server.ml @@ -53,5 +53,6 @@ let _ = Server_control.run_until "Hop ready"; if Server_control.is_running () then (create_ready_file (); + Server_control.milestone "Server initialized"; Server_control.run_forever ()) else ()