Merge branch 'master' of https://github.com/IMAGINARY/jsurf

Author: porst17

build.gradle

@@ -1,5 +1,5 @@
 group = 'de.mfo.jsurf'
-version = '0.1.0'
+version = '0.1.1'
 
 apply plugin: 'application'
 apply plugin: 'java'
@@ -42,4 +42,4 @@ mainClassName = "de.mfo.jsurf.Main"
 
 run {
 	args = [ "-s", "512", "examples/record_kummerquartic.jsurf" ]
-}
+}

src/main/java/de/mfo/jsurf/Main.java

@@ -180,6 +180,7 @@ public static void main(String[] args) {
     			else
     				os = new FileOutputStream( new File( output_filename ) );
     			javax.imageio.ImageIO.write( bi, "png", os );
+        		System.exit( 0 );
     		}
     		catch( Exception e )
     		{