summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Ankarström <john@ankarstrom.se>2022-01-22 18:26:19 +0100
committerJohn Ankarström <john@ankarstrom.se>2022-01-22 18:26:19 +0100
commit33f5c7437f06699e62fe39d369147436045463d1 (patch)
tree64e221c00809c3c18786551471089a4ded96ec5c
parent4c5f69a4cf721f1e3d49346ed0fdb1faea7977c3 (diff)
downloadsave-33f5c7437f06699e62fe39d369147436045463d1.tar.gz
M save.pl
M save.pl~
-rw-r--r--save.pl1
-rw-r--r--save.pl~2
2 files changed, 1 insertions, 2 deletions
diff --git a/save.pl b/save.pl
index ab73aea..2e6a8d8 100644
--- a/save.pl
+++ b/save.pl
@@ -83,7 +83,6 @@ chain_atom_x(C, A0, A) :-
).
commit(Msg) :-
- write('creating process'), nl,
process_create(path(git), ['commit', '-m', Msg],
[process(PID)]),
process_wait(PID, S),
diff --git a/save.pl~ b/save.pl~
index 72b8dc9..ab73aea 100644
--- a/save.pl~
+++ b/save.pl~
@@ -97,4 +97,4 @@ commited(S) :-
'Files could not be saved.').
commited(_) :-
- send(@pce, destroy).
+ send(@dialog, destroy).