public void Detach() { check_disposed (); if (pushed_regs) mono_debugger_server_pop_registers (server_handle); check_error (mono_debugger_server_detach (server_handle)); }