From e5afb7e62a5ae6c5b6c5e28fbbaa314ee5ea294d Mon Sep 17 00:00:00 2001
From: rooklift <16438795+rooklift@users.noreply.github.com>
Date: Sat, 3 Feb 2024 09:24:32 +0000
Subject: [PATCH] Update hub.js

---
 src/modules/hub.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/modules/hub.js b/src/modules/hub.js
index 85ee6384..c7953fb2 100644
--- a/src/modules/hub.js
+++ b/src/modules/hub.js
@@ -416,7 +416,7 @@ let hub_main_props = {
 		if (want_to_go) {
 			this.go();
 		} else {
-			this.engine.halt();					// Don't use this.halt() which adjusts auto-stuff.
+			this.engine.halt();
 		}
 
 		// Draw things...
@@ -682,7 +682,7 @@ let hub_main_props = {
 
 			if (policy_or_drunk && this.playing_active_colour()) {
 
-				this.engine.halt();						// Can't use this.halt() which turns off all auto-stuff
+				this.engine.halt();
 				if (config.play_against_drunk) {
 					this.play_drunk_policy();
 				} else  {
@@ -707,7 +707,7 @@ let hub_main_props = {
 
 				if (this.playing_active_colour()) {
 
-					this.engine.halt();					// Can't use this.halt() which turns off all auto-stuff
+					this.engine.halt();
 					this.play_best();
 
 				} else if (this.play_mode === AUTOANALYSIS) {