1 files changed, 4 insertions, 4 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);
+                    exit(0);
                 }catch(exception& e) {
-                    if(!op_signum)
-                        exit(1);
+                    exit(1);
                 }
+                break;
             case op_ensure:
                 try {
@@ -290,3 +289,4 @@ int main(int argc,char **argv) {
         return 1;
     }
+    exit(0);
 }