M save.exe

M  save.pl
M  save.pl~

3 files changed, 9 insertions, 4 deletions

diff --git a/save.exe b/save.exe
index d9a0454..377a6ba 100644
--- a/save.exe
+++ b/save.exe
diff --git a/save.pl b/save.pl
index d90e736..5303d3a 100644
--- a/save.pl
+++ b/save.pl
@@ -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).
diff --git a/save.pl~ b/save.pl~
index d9881e3..1b50fff 100644
--- a/save.pl~
+++ b/save.pl~
@@ -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
+	).