From 0ca182ce86cd1a7e60bd2260ad5cae92aa59626c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sat, 22 Jan 2022 18:16:33 +0100 Subject: M save.exe M save.pl M save.pl~ --- save.pl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'save.pl') diff --git a/save.pl b/save.pl index d90e736..5303d3a 100644 --- a/save.pl +++ b/save.pl @@ -82,4 +82,7 @@ chain_atom_x(C, A0, A) :- ). commit(Msg) :- - process_create(path(git), ['commit', '-m', Msg], []); true. + setup_call_cleanup( + process_create(path(git), ['commit', '-m', Msg], []), + true, + true). -- cgit v1.2.3