Browse Source

Merge pull request #42 from ov7a/patch-1

Non-zero exit code on error. Fixes #41
lama0206 9 years ago
parent
commit
b7a186febe
1 changed files with 1 additions and 0 deletions
  1. 1 0
      jplag/src/main/java/jplag/JPlag.java

+ 1 - 0
jplag/src/main/java/jplag/JPlag.java

@@ -17,6 +17,7 @@ public class JPlag {
             }
             catch(ExitException ex) {
                 System.out.println("Error: "+ex.getReport());
+		System.exit(1);
             }
 		}
 	}