|
|
|
@ -436,10 +436,7 @@ void System::Stop() { |
|
|
|
} |
|
|
|
|
|
|
|
if (execution_mode == ExecutionMode::Auto) { |
|
|
|
// Should wait for the system to terminate here, but core timing (should have) already
|
|
|
|
// stopped, so this isn't needed. Find a way to make this definite.
|
|
|
|
|
|
|
|
// terminate_event.Wait();
|
|
|
|
terminate_event.Wait(); |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|