Merge pull request #1 from jplag/master

Update
jplag · Apr 8, 2018 · a17ec06 · a17ec06
2 parents 5e79306 + b7a186f
commit a17ec06
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/jplag/src/main/java/jplag/JPlag.java b/jplag/src/main/java/jplag/JPlag.java
@@ -17,6 +17,7 @@ public static void main(String[] args) {
             }
             catch(ExitException ex) {
                 System.out.println("Error: "+ex.getReport());
+		System.exit(1);
             }
 		}
 	}