Clearer final milestone

This commit is contained in:
Tony Garnock-Jones 2012-05-02 11:11:38 -04:00
parent 114a6e3d3f
commit 717be1f687
1 changed files with 1 additions and 0 deletions

View File

@ -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 ()