diff options
-rw-r--r-- | save.pl | 3 | ||||
-rw-r--r-- | save.pl~ | 4 |
2 files changed, 5 insertions, 2 deletions
@@ -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) :- @@ -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) |