* Fix master_controller::stop()