-rw-r--r-- | src/dudki.cc | 8 |
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 | |||
@@ -236,8 +236,7 @@ int main(int argc,char **argv) { | |||
236 | } | 236 | } |
237 | if(!op_signum) | 237 | exit(0); |
238 | exit(0); | ||
239 | }catch(exception& e) { | 238 | }catch(exception& e) { |
240 | if(!op_signum) | 239 | exit(1); |
241 | exit(1); | ||
242 | } | 240 | } |
241 | break; | ||
243 | case op_ensure: | 242 | case op_ensure: |
@@ -291,2 +290,3 @@ int main(int argc,char **argv) { | |||
291 | } | 290 | } |
291 | exit(0); | ||
292 | } | 292 | } |