diff options
| -rw-r--r-- | ssh-agent-filter.C | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ssh-agent-filter.C b/ssh-agent-filter.C index d1ccf2c..46d9f94 100644 --- a/ssh-agent-filter.C +++ b/ssh-agent-filter.C @@ -446,7 +446,7 @@ void sighandler (int sig) { break; default: remove(path); - std::abort(); + std::exit(0); } } |