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