diff options
Diffstat (limited to 'src/grossmeister/search.rs')
-rw-r--r-- | src/grossmeister/search.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grossmeister/search.rs b/src/grossmeister/search.rs index def4305..f0805cb 100644 --- a/src/grossmeister/search.rs +++ b/src/grossmeister/search.rs @@ -215,6 +215,7 @@ impl Grossmeister { if self.debug { println!("info string aborting"); } + self.should_halt.store(false, std::sync::atomic::Ordering::Relaxed); break; } |