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.