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 | |
parent | 29c75b501d255ceb7d45019879b6e4f6fd382fdc (diff) | |
download | save-67b06ee461ade5982ab7d88673737fcc9eefea21.tar.gz |
M save.pl
M save.pl~
-rw-r--r-- | save.pl | 8 | ||||
-rw-r--r-- | save.pl~ | 7 |
2 files changed, 8 insertions, 7 deletions
@@ -88,11 +88,11 @@ commit(Msg) :- commited(S). commited(S) :- - dif(S, 0), - write(S), nl, + dif(S, exit(0)), + dif(S, exit(128)), + !, send(@display, report, error, 'Files could not be saved.'). -commited(0) :- - write(success), nl, +commited(_) :- halt. @@ -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. |