diff options
-rw-r--r-- | save.pl | 5 | ||||
-rw-r--r-- | save.pl~ | 3 |
2 files changed, 5 insertions, 3 deletions
@@ -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.'). @@ -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) :- |