name the deploy thread

ThomasJClark · ThomasJClark · commit bf15a3944509 · 2016-02-01T16:45:05.000-05:00
diff --git a/ui/src/main/java/edu/wpi/grip/ui/DeployController.java b/ui/src/main/java/edu/wpi/grip/ui/DeployController.java
@@ -115,7 +115,7 @@ public void onDeploy() {
         console.clear();
 
         // Start the deploy in a new thread, so the GUI doesn't freeze
-        deployThread = Optional.of(new Thread(this::deploy));
+        deployThread = Optional.of(new Thread(this::deploy, "Deploy"));
         deployThread.get().setDaemon(true);
         deployThread.get().start();
     }

Original file line number	Diff line number	Diff line change
`@@ -115,7 +115,7 @@ public void onDeploy() {`
`115`	`115`	`console.clear();`
`116`	`116`
`117`	`117`	`// Start the deploy in a new thread, so the GUI doesn't freeze`
`118`		`- deployThread = Optional.of(new Thread(this::deploy));`
	`118`	`+ deployThread = Optional.of(new Thread(this::deploy, "Deploy"));`
`119`	`119`	`deployThread.get().setDaemon(true);`
`120`	`120`	`deployThread.get().start();`
`121`	`121`	`}`