Changeset 7493 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2014-09-04T20:21:46+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r7434 r7493 353 353 Main.pref.updateSystemProperties(); 354 354 355 // asking for help? show help and exit 356 if (args.containsKey(Option.HELP)) { 357 showHelp(); 358 System.exit(0); 359 } 360 355 361 processOffline(args); 356 362 … … 384 390 ProxySelector.setDefault(proxySelector); 385 391 OAuthAccessTokenHolder.getInstance().init(Main.pref, CredentialsManager.getInstance()); 386 387 // asking for help? show help and exit388 if (args.containsKey(Option.HELP)) {389 showHelp();390 System.exit(0);391 }392 392 393 393 final SplashScreen splash = new SplashScreen();
Note:
See TracChangeset
for help on using the changeset viewer.