diff options
Diffstat (limited to 'save.pl~')
-rw-r--r-- | save.pl~ | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -88,10 +88,11 @@ commit(Msg) :- commited(S). commited(S) :- - dif(S, 0), + dif(S, exit(0)), + dif(S, exit(128)), + !, send(@display, report, error, 'Files could not be saved.'). -commited(0) :- - write(success), nl, +commited(exit(_)) :- halt. |