From 67b06ee461ade5982ab7d88673737fcc9eefea21 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sat, 22 Jan 2022 18:24:21 +0100 Subject: M save.pl M save.pl~ --- save.pl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'save.pl') 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. -- cgit v1.2.3