Changeset 17637 in josm for trunk/src/org/openstreetmap/josm/gui/MainApplication.java
- Timestamp:
- 2021-03-22T19:30:36+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r17556 r17637 71 71 import org.openstreetmap.josm.actions.PreferencesAction; 72 72 import org.openstreetmap.josm.actions.RestartAction; 73 import org.openstreetmap.josm.actions.ShowStatusReportAction; 73 74 import org.openstreetmap.josm.actions.downloadtasks.DownloadGpsTask; 74 75 import org.openstreetmap.josm.actions.downloadtasks.DownloadOsmTask; … … 657 658 "\t--language=<language> "+tr("Set the language")+"\n\n"+ 658 659 "\t--version "+tr("Displays the JOSM version and exits")+"\n\n"+ 660 "\t--status-report "+ShowStatusReportAction.ACTION_DESCRIPTION+"\n\n"+ 659 661 "\t--debug "+tr("Print debugging messages to console")+"\n\n"+ 660 662 "\t--skip-plugins "+tr("Skip loading plugins")+"\n\n"+ … … 730 732 Level logLevel = args.getLogLevel(); 731 733 Logging.setLogLevel(logLevel); 732 if (!args. showVersion() && !args.showHelp()) {734 if (!args.hasOption(Option.VERSION) && !args.hasOption(Option.STATUS_REPORT) && !args.showHelp()) { 733 735 Logging.info(tr("Log level is at {0} ({1}, {2})", logLevel.getLocalizedName(), logLevel.getName(), logLevel.intValue())); 734 736 } … … 772 774 Config.setUrlsProvider(JosmUrls.getInstance()); 773 775 774 if (args. showVersion()) {776 if (args.hasOption(Option.VERSION)) { 775 777 System.out.println(Version.getInstance().getAgentString()); 778 return; 779 } else if (args.hasOption(Option.STATUS_REPORT)) { 780 System.out.println(ShowStatusReportAction.getReportHeader()); 776 781 return; 777 782 } else if (args.showHelp()) {
Note:
See TracChangeset
for help on using the changeset viewer.
