Remove extra call to `shutdown_isolate()`
@@ -94,8 +94,10 @@ async fn runtime_manager_request(
// Shutdown the enclave
if !active_flag {
let mut enclave_handler_locked = enclave_handler.lock()?;
- enclave_handler_locked.as_mut().map(|e| e.shutdown_isolate());
+
+ // Drop the `VeracruzServer` object which triggers enclave shutdown
*enclave_handler_locked = None;
+
stopper.send(())?;
}
