diff options
-rw-r--r-- | src/main/Main.java | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/main/Main.java b/src/main/Main.java index bc5c9d5..6b494f6 100644 --- a/src/main/Main.java +++ b/src/main/Main.java @@ -23,13 +23,15 @@ public class Main { * @param args the global arguments to pass to the program. */ public static void main(String[] args) { + Main main; try { - Main main = new Main(args); - main.run(); + main = new Main(args); } catch (IllegalArgumentException ex) { System.err.println(ex.getMessage()); System.exit(1); + return; } + main.run(); } private String m_filename; @@ -80,7 +82,8 @@ public class Main { } } - private void parseGlobalOptions(String[] args) { + private void parseGlobalOptions(String[] args) + throws IllegalArgumentException { /* parse global options */ for (int i = 0; i < args.length; i++) { if ("--help".equals(args[i])) { |