diff --git a/src/org/openstreetmap/josm/gui/MainApplication.java b/src/org/openstreetmap/josm/gui/MainApplication.java
index 0a8217e..45ff122 100644
|
a
|
b
|
import java.awt.event.WindowAdapter;
|
| 10 | 10 | import java.awt.event.WindowEvent; |
| 11 | 11 | import java.net.Authenticator; |
| 12 | 12 | import java.net.ProxySelector; |
| 13 | | import java.util.Arrays; |
| 14 | 13 | import java.util.Collection; |
| 15 | 14 | import java.util.HashMap; |
| 16 | 15 | import java.util.LinkedList; |
| 17 | | import java.util.List; |
| 18 | 16 | import java.util.Map; |
| 19 | 17 | |
| 20 | 18 | import javax.swing.JFrame; |
| … |
… |
public class MainApplication extends Main {
|
| 112 | 110 | Main.platform.preStartupHook(); |
| 113 | 111 | |
| 114 | 112 | // construct argument table |
| 115 | | List<String> argList = Arrays.asList(argArray); |
| 116 | 113 | final Map<String, Collection<String>> args = new HashMap<String, Collection<String>>(); |
| 117 | 114 | for (String arg : argArray) { |
| | 115 | if ("-h".equals(arg) || "-?".equals(arg)) { |
| | 116 | arg = "--help"; |
| | 117 | } |
| | 118 | // handle simple arguments like file names, URLs, bounds |
| 118 | 119 | if (!arg.startsWith("--")) { |
| 119 | 120 | arg = "--download="+arg; |
| 120 | 121 | } |
| … |
… |
public class MainApplication extends Main {
|
| 145 | 146 | OAuthAccessTokenHolder.getInstance().init(Main.pref, CredentialsManagerFactory.getCredentialManager()); |
| 146 | 147 | |
| 147 | 148 | // asking for help? show help and exit |
| 148 | | if (argList.contains("--help") || argList.contains("-?") || argList.contains("-h")) { |
| | 149 | if (args.containsKey("help")) { |
| 149 | 150 | showHelp(); |
| 150 | 151 | System.exit(0); |
| 151 | 152 | } |