in src/enclave_proc/resource_manager.rs [870:879]
fn drop(&mut self) {
// Check if we are (still) owning an enclave.
if self.enclave_cid.unwrap_or(0) == 0 {
debug!("Resource manager does not hold an enclave.");
return;
}
// Terminate the enclave, notifying of any errors.
self.terminate_enclave_and_notify();
}