Don't quit the SketchRunner when you stop a sketch.

jdf · Nov 1, 2015 · e32cdc5 · e32cdc5
1 parent b1f708a
commit e32cdc5
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/runtime/src/jycessing/mode/PyEditor.java b/runtime/src/jycessing/mode/PyEditor.java
@@ -28,11 +28,11 @@
 import jycessing.mode.run.SketchServiceManager;
 import jycessing.mode.run.SketchServiceProcess;
 import processing.app.Base;
-import processing.app.Platform; 
-import processing.app.Messages;
 import processing.app.Formatter;
 import processing.app.Language;
+import processing.app.Messages;
 import processing.app.Mode;
+import processing.app.Platform;
 import processing.app.SketchCode;
 import processing.app.SketchException;
 import processing.app.ui.Editor;
@@ -69,7 +69,8 @@ private static void log(final String msg) {
   private Path tempSketch;
 
 
-  protected PyEditor(final Base base, final String path, final EditorState state, final Mode mode) throws EditorException {
+  protected PyEditor(final Base base, final String path, final EditorState state, final Mode mode)
+      throws EditorException {
     super(base, path, state, mode);
 
     id = UUID.randomUUID().toString();
@@ -127,7 +128,6 @@ public String getCommentPrefix() {
   public void internalCloseRunner() {
     try {
       sketchService.stopSketch();
-      sketchService.shutdown();
     } catch (final SketchException e) {
       statusError(e);
     } finally {