summaryrefslogtreecommitdiff
path: root/save.pl~
diff options
context:
space:
mode:
Diffstat (limited to 'save.pl~')
-rw-r--r--save.pl~7
1 files changed, 4 insertions, 3 deletions
diff --git a/save.pl~ b/save.pl~
index b06d2e4..5c1ec14 100644
--- a/save.pl~
+++ b/save.pl~
@@ -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.