Fixed walkers pool

This commit is contained in:
Anthony Scemama 2019-12-17 11:22:52 +01:00
parent 0485afda6f
commit 0eb72b9bce
1 changed files with 1 additions and 1 deletions

View File

@ -242,6 +242,7 @@ let run ?(daemon=true) ezfio_filename =
last_save_walkers := t0 ;
end
in
save_walkers ();
@ -772,7 +773,6 @@ let run ?(daemon=true) ezfio_filename =
in handle msg
in
save_walkers ();
(* Main loop *)
while (!status <> Status.Stopped)
do