summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Ankarström <john@ankarstrom.se>2022-01-22 18:22:26 +0100
committerJohn Ankarström <john@ankarstrom.se>2022-01-22 18:22:26 +0100
commit29c75b501d255ceb7d45019879b6e4f6fd382fdc (patch)
tree5debb77b2af29ab39eda5c3e3584308f1d6159e8
parent95b78a40d28192f319462ba8f277ff26fdb40d8a (diff)
downloadsave-29c75b501d255ceb7d45019879b6e4f6fd382fdc.tar.gz
M save.pl
M save.pl~
-rw-r--r--save.pl1
-rw-r--r--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.').