M save.pl

M  save.pl~

2 files changed, 5 insertions, 3 deletions

diff --git a/save.pl b/save.pl
index 2e192b4..b06d2e4 100644
--- a/save.pl
+++ b/save.pl
@@ -84,12 +84,11 @@ commit(Msg) :-
 	write('creating process'), nl,
 	process_create(path(git), ['commit', '-m', Msg],
 		       [process(PID)]),
-	write(waiting), nl,
 	process_wait(PID, S),
-	write(waited), nl,
 	commited(S).
 
-commited(1) :-
+commited(S) :-
+	dif(S, 0),
 	send(@display, report, error,
 	     'Files could not be saved.').
 
diff --git a/save.pl~ b/save.pl~
index 5990d16..2e192b4 100644
--- a/save.pl~
+++ b/save.pl~
@@ -81,9 +81,12 @@ chain_atom_x(C, A0, A) :-
 	).
 
 commit(Msg) :-
+	write('creating process'), nl,
 	process_create(path(git), ['commit', '-m', Msg],
 		       [process(PID)]),
+	write(waiting), nl,
 	process_wait(PID, S),
+	write(waited), nl,
 	commited(S).
 
 commited(1) :-