summaryrefslogtreecommitdiffabout
path: root/src/dudki.cc
Side-by-side diff
Diffstat (limited to 'src/dudki.cc') (more/less context) (show whitespace changes)
-rw-r--r--src/dudki.cc4
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);
}