patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Lowered default message logging priority to info.

Browse Source
This commit is contained in:
Patrick Lühne
2017-06-21 03:05:37 +02:00
parent 39c0e27cb2
commit 002f875c53
2 changed files with 11 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
app/main.cpp
View File

@@ -31,7 +31,7 @@ int main(int argc, char **argv)
("parsing-mode", po::value<std::string>()->default_value("strict"), "Parsing mode (strict, compatibility)")
("language,l", po::value<std::string>()->default_value("auto"), "Input language (pddl, sas, auto)")
("color", po::value<std::string>()->default_value("auto"), "Colorize output (always, never, auto)")
("log-priority,p", po::value<std::string>()->default_value("warning"), "Log messages starting from this priority (debug, info, warning, error)")
("log-priority,p", po::value<std::string>()->default_value("info"), "Log messages starting from this priority (debug, info, warning, error)")
("warnings-as-errors", po::bool_switch(&warningsAsErrors), "Treat warnings as errors");
po::positional_options_description positionalOptionsDescription;