Parcourir la source

Improve locker management

Leo il y a 9 ans
Parent
commit
da17d00a3e
1 fichiers modifiés avec 1 ajouts et 0 suppressions
  1. 1 0
      src/default.ml

+ 1 - 0
src/default.ml

@@ -54,6 +54,7 @@ let run ~rc cmd_number =
             | None -> (* If no command was found, all has been launched *)
                 Messages.ok "All has been launched!";
                 Messages.tips "You can reset with '-r'";
+                Lock.remove ()
             | Some cmd_to_exec -> Exec_cmd.execute cmd_to_exec;
       end
     | Some num -> begin