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 ++++---- 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. -- cgit v1.2.3