dunnkers
diff --git a/‎ActiveScript.java‎
Lines changed: 1 addition & 1 deletion b/‎ActiveScript.java‎
Lines changed: 1 addition & 1 deletion
@@ -146,7 +146,7 @@ public void run() {
 
 		final String name = Thread.currentThread().getThreadGroup().getName();
 		if (name.startsWith("GameDefinition-") ||
-				name.startsWith("ThreadPool@")) {
+				name.startsWith("ThreadPool-")) {
 			context.updateControls();
 		}
 	}
Original file line number	Diff line number	Diff line change
`@@ -146,7 +146,7 @@ public void run() {`
`146`	`146`
`147`	`147`	`final String name = Thread.currentThread().getThreadGroup().getName();`
`148`	`148`	`if (name.startsWith("GameDefinition-") \|\|`
`149`		`- name.startsWith("ThreadPool@")) {`
	`149`	`+ name.startsWith("ThreadPool-")) {`
`150`	`150`	`context.updateControls();`
`151`	`151`	`}`
`152`	`152`	`}`