commit bca9dc9384e0c3f1c51401464eec0d6cf2c8310a
author Treehugger Robot <treehugger-gerrit@google.com> Thu May 26 16:54:23 2022 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Thu May 26 16:54:23 2022 +0000
tree b797c56eb0d104fe016cc4a45384475c4a3e5806
parent d827597268f2f773a90db7251caef1352a47c778
parent c29d24b64b4c20a89f63268213a797ea7c53d67b

Merge "Delete tombstones from guest VM after transmitting"

microdroid/init.rc

diff --git a/microdroid/init.rc b/microdroid/init.rc
index 93cced8..ff3d68e 100644
--- a/microdroid/init.rc
+++ b/microdroid/init.rc
@@ -173,7 +173,7 @@
     mkdir /data/local 0751 root root
     mkdir /data/local/tmp 0771 shell shell
 
-service tombstone_transmit /system/bin/tombstone_transmit.microdroid -cid 2 -port 2000
+service tombstone_transmit /system/bin/tombstone_transmit.microdroid -cid 2 -port 2000 -remove_tombstones_after_transmitting
     user root
     group system