ctrl_server cleanup: