diff options
Diffstat (limited to 'sysprep/main.ml')
| -rw-r--r-- | sysprep/main.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sysprep/main.ml b/sysprep/main.ml index ca5664de..05dd57d7 100644 --- a/sysprep/main.ml +++ b/sysprep/main.ml @@ -239,6 +239,7 @@ let () = (* Finished. *) let () = + g#shutdown (); g#close (); if debug_gc then |