summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Ankarström <john@ankarstrom.se>2022-01-22 18:24:21 +0100
committerJohn Ankarström <john@ankarstrom.se>2022-01-22 18:24:21 +0100
commit67b06ee461ade5982ab7d88673737fcc9eefea21 (patch)
treec22ec0bb70e83316f2d4ef8be2edfa5a715c869d
parent29c75b501d255ceb7d45019879b6e4f6fd382fdc (diff)
downloadsave-67b06ee461ade5982ab7d88673737fcc9eefea21.tar.gz
M save.pl
M save.pl~
-rw-r--r--save.pl8
-rw-r--r--save.pl~7
2 files changed, 8 insertions, 7 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.
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.