public void RestartNotification() { check_error (mono_debugger_server_restart_notification (server_handle)); }