diff options
-rw-r--r-- | save.exe | bin | 276252 -> 276159 bytes | |||
-rw-r--r-- | save.pl | 5 | ||||
-rw-r--r-- | save.pl~ | 8 |
3 files changed, 9 insertions, 4 deletions
Binary files differ @@ -82,4 +82,7 @@ chain_atom_x(C, A0, A) :- ). commit(Msg) :- - process_create(path(git), ['commit', '-m', Msg], []); true. + setup_call_cleanup( + process_create(path(git), ['commit', '-m', Msg], []), + true, + true). @@ -82,6 +82,8 @@ chain_atom_x(C, A0, A) :- ). commit(Msg) :- - process_create(path(git), ['commit', '-m', Msg], []) - ; - true. + setup_call_cleanup( + process_create(path(git), ['commit', '-m', Msg], []), + true, + true + ). |