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 /save.pl~ | |
| parent | 95b78a40d28192f319462ba8f277ff26fdb40d8a (diff) | |
| download | save-29c75b501d255ceb7d45019879b6e4f6fd382fdc.tar.gz | |
M save.pl
M save.pl~
Diffstat (limited to 'save.pl~')
| -rw-r--r-- | save.pl~ | 5 |
1 files changed, 2 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.'). |