diff options
author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:22:10 +0100 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:22:10 +0100 |
commit | 95b78a40d28192f319462ba8f277ff26fdb40d8a (patch) | |
tree | f2a5701332987fb6c7b987530645053bd3ced1f1 /save.pl~ | |
parent | 5819d9faef5507a87d06c6f01eb8298b0eb5ec82 (diff) | |
download | save-95b78a40d28192f319462ba8f277ff26fdb40d8a.tar.gz |
M save.pl
M save.pl~
Diffstat (limited to 'save.pl~')
-rw-r--r-- | save.pl~ | 3 |
1 files changed, 3 insertions, 0 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) :- |