when calling Session::engine_halted() after a user-driven engine stop, make sure...