From 29c75b501d255ceb7d45019879b6e4f6fd382fdc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sat, 22 Jan 2022 18:22:26 +0100 Subject: M save.pl M save.pl~ --- save.pl | 1 + save.pl~ | 5 ++--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/save.pl b/save.pl index b06d2e4..9b353f8 100644 --- a/save.pl +++ b/save.pl @@ -89,6 +89,7 @@ commit(Msg) :- commited(S) :- dif(S, 0), + write(S), nl, send(@display, report, error, 'Files could not be saved.'). diff --git a/save.pl~ b/save.pl~ index 2e192b4..b06d2e4 100644 --- a/save.pl~ +++ b/save.pl~ @@ -84,12 +84,11 @@ commit(Msg) :- write('creating process'), nl, process_create(path(git), ['commit', '-m', Msg], [process(PID)]), - write(waiting), nl, process_wait(PID, S), - write(waited), nl, commited(S). -commited(1) :- +commited(S) :- + dif(S, 0), send(@display, report, error, 'Files could not be saved.'). -- cgit v1.2.3