aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--bbot/worker/worker.cxx5
1 files changed, 5 insertions, 0 deletions
diff --git a/bbot/worker/worker.cxx b/bbot/worker/worker.cxx
index 5f857b0..793b387 100644
--- a/bbot/worker/worker.cxx
+++ b/bbot/worker/worker.cxx
@@ -1814,6 +1814,11 @@ build (size_t argc, const char* argv[])
}
}
}
+ catch (const cli::exception& e)
+ {
+ fail (e.what (), false /* throw_abort */);
+ break;
+ }
catch (const string_parser::invalid_string& e)
{
fail (e.what (), false /* throw_abort */);