@ -269,7 +269,7 @@ int main(int argc, char const * argv[])
}
else
{
std::cerr << "Unknown command" << std::endl;
std::cerr << "Unknown command: " << command.front() << std::endl;
return 1;
@ -6586,7 +6586,8 @@ int main(int argc, char* argv[])
std::vector<std::string> command = command_line::get_arg(*vm, arg_command);
if (!command.empty())
w.process_command(command);
if (!w.process_command(command))
fail_msg_writer() << tr("Unknown command: ") << command.front();
w.stop();
w.deinit();