diff options
author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:22:26 +0100 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:22:26 +0100 |
commit | 29c75b501d255ceb7d45019879b6e4f6fd382fdc (patch) | |
tree | 5debb77b2af29ab39eda5c3e3584308f1d6159e8 | |
parent | 95b78a40d28192f319462ba8f277ff26fdb40d8a (diff) | |
download | save-29c75b501d255ceb7d45019879b6e4f6fd382fdc.tar.gz |
M save.pl
M save.pl~
-rw-r--r-- | save.pl | 1 | ||||
-rw-r--r-- | save.pl~ | 5 |
2 files changed, 3 insertions, 3 deletions
@@ -89,6 +89,7 @@ commit(Msg) :- commited(S) :- dif(S, 0), + write(S), nl, send(@display, report, error, 'Files could not be saved.'). @@ -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.'). |