summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--save.pl3
-rw-r--r--save.pl~4
2 files changed, 5 insertions, 2 deletions
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) :-
diff --git a/save.pl~ b/save.pl~
index fac8995..5990d16 100644
--- a/save.pl~
+++ b/save.pl~
@@ -72,8 +72,8 @@ chain_atom(C, A) :-
chain_atom_x(C, '', A).
chain_atom_x(C, A0, A) :-
- ( get(C, delete_head, A1),
- atom_concat(A0, A1, A2),
+ ( get(C, delete_head, A1)
+ -> atom_concat(A0, A1, A2),
atom_concat(A2, '
', A3),
chain_atom_x(C, A3, A)