| -rw-r--r-- | src/dudki.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dudki.cc b/src/dudki.cc index c966695..3af5372 100644 --- a/src/dudki.cc +++ b/src/dudki.cc @@ -234,12 +234,11 @@ int main(int argc,char **argv) { if(failures) throw runtime_error("not all processes have been successfully signaled"); } - if(!op_signum) exit(0); }catch(exception& e) { - if(!op_signum) exit(1); } + break; case op_ensure: try { signal_self(config,0); @@ -289,4 +288,5 @@ int main(int argc,char **argv) { cerr << "Oops: " << e.what() << endl; return 1; } + exit(0); } |