[PATCH] server: Accept DBG_EXCEPTION_HANDLED parameter in continue_debug_event.