diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-19 10:33:02 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-19 10:33:24 +0200 |
commit | f5b11ba042f96905d15b16b4127b65cb639d2ff8 (patch) | |
tree | 6bfed0d58049b01a95b8bf3fb31a6803d665d977 /bbot | |
parent | efa53d6ad8797310b10d299408c2e3fa33978e27 (diff) |
Minor improvement
Diffstat (limited to 'bbot')
-rw-r--r-- | bbot/agent.cxx | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bbot/agent.cxx b/bbot/agent.cxx index 60d59e6..2df96e6 100644 --- a/bbot/agent.cxx +++ b/bbot/agent.cxx @@ -781,9 +781,13 @@ try // Controller URLs. // - if (argc < 2 && !ops.fake_request_specified ()) + if (argc < 2 && + !ops.dump_machines () && + !ops.fake_request_specified ()) + { fail << "controller url expected" << info << "run " << argv[0] << " --help for details"; + } strings controllers; |