commit | 40dd5b2725cfa57625afde08d4ef2e936d95e6b4 | [log] [tgz] |
---|---|---|
author | Alan Stokes <alanstokes@google.com> | Tue Jan 03 12:03:27 2023 +0000 |
committer | Alan Stokes <alanstokes@google.com> | Tue Jan 03 12:13:15 2023 +0000 |
tree | 894dd5af03ed8991e7d93e54faa914cfd9c5f1b1 | |
parent | 41eb7240a9352f86867c9e6e6091eda33194a0c3 [diff] |
Make sure a deleted VM stays deleted If we delete a VM instance it is removed from the weak reference map. If we then recreate a VM with the same name, we end up with two VirtualMachine objects, which will inevitably end badly. So make sure that deletion is sticky. Added a test to check this (and made sure it correctly failed initially - which also revealed it wasn't cleaning up properly on failure). Bug: 261037705 Test: atest MicrodroidTests Change-Id: I852d5547a24c770e4b97252be5056e06fe3511af
This repository contains userspace services related to running virtual machines on Android, especially protected virtual machines. See the getting started documentation and Microdroid README for more information.