reuse the port by default, but easy enough to switch back to the old way

fathominfo · Oct 22, 2016 · aa77a39 · benfry · Oct 25, 2016 · aa77a39
1 parent 405b642
commit aa77a39
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/src/processing/mode/p5js/p5jsEditor.java b/src/processing/mode/p5js/p5jsEditor.java
@@ -36,6 +36,7 @@
 
 public class p5jsEditor extends Editor {
   HttpServer server;
+  boolean reusePort = true;
   boolean showSizeWarning = true;
 
 
@@ -306,8 +307,10 @@ public void handleStop() {
     } catch (IOException e) {
       e.printStackTrace();  // TODO ignore?
     }
-    stopServer();
-    statusNotice("Server stopped.");
+    if (!reusePort) {
+    	stopServer();
+    	statusNotice("Server stopped.");
+    }
     toolbar.deactivateRun();
   }
 

diff --git a/src/processing/mode/p5js/server/HttpServer.java b/src/processing/mode/p5js/server/HttpServer.java
@@ -76,6 +76,7 @@ public HttpServer(p5jsEditor editor, int port) {
 
 
   public void start() {
+	  if (thread == null) {
     thread = new Thread(new Runnable() {
       @Override
       public void run() {
@@ -120,6 +121,7 @@ public void run() {
         running = false;
       }
     });
+	  }
     thread.start();
   }