Try except to clean tmpdir

This commit is contained in:
Anthony Scemama 2016-03-03 13:39:06 +01:00
parent 517fd0898c
commit 453a29d607
1 changed files with 9 additions and 2 deletions

View File

@ -465,6 +465,13 @@ let run ezfio_filename dataserver =
end;
(* Wait for the qmc process to complete *)
ignore (Watchdog.join ());
terminate ()
try
ignore (Watchdog.join ());
terminate ()
with
| error ->
begin
terminate ();
raise error
end