From 95b78a40d28192f319462ba8f277ff26fdb40d8a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sat, 22 Jan 2022 18:22:10 +0100 Subject: M save.pl M save.pl~ --- save.pl | 5 ++--- save.pl~ | 3 +++ 2 files changed, 5 insertions(+), 3 deletions(-) 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.'). diff --git a/save.pl~ b/save.pl~ index 5990d16..2e192b4 100644 --- a/save.pl~ +++ b/save.pl~ @@ -81,9 +81,12 @@ chain_atom_x(C, A0, A) :- ). 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) :- -- cgit v1.2.3