diff options
| author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:24:21 +0100 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:24:21 +0100 |
| commit | 67b06ee461ade5982ab7d88673737fcc9eefea21 (patch) | |
| tree | c22ec0bb70e83316f2d4ef8be2edfa5a715c869d /save.pl~ | |
| parent | 29c75b501d255ceb7d45019879b6e4f6fd382fdc (diff) | |
| download | save-67b06ee461ade5982ab7d88673737fcc9eefea21.tar.gz | |
M save.pl
M save.pl~
Diffstat (limited to 'save.pl~')
| -rw-r--r-- | save.pl~ | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -88,10 +88,11 @@ commit(Msg) :- commited(S). commited(S) :- - dif(S, 0), + dif(S, exit(0)), + dif(S, exit(128)), + !, send(@display, report, error, 'Files could not be saved.'). -commited(0) :- - write(success), nl, +commited(exit(_)) :- halt. |