| -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 @@ -235,10 +235,9 @@ int main(int argc,char **argv) { 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 { @@ -290,3 +289,4 @@ int main(int argc,char **argv) { return 1; } + exit(0); } |