Error: ID space not empty at destruction time

[Stefan Thöni]

Hello Genodians,

when the verify tool is terminated by removal from the init config after
having done its job both ram_fs used for public and depot yield an
"Error: ID space not empty at destruction time".

Should I worry about these errors?

Bests
Stefan

-- 
Freundliche Grüsse

Stefan Thöni
Senior Security Architect
+41 79 610 64 95

gapfruit AG
Baarerstrasse 135
6300 Zug
https://gapfruit.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0x05D66A288F9939FF.asc
Type: application/pgp-keys
Size: 14132 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20180717/3d0ed986/attachment.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 801 bytes
Desc: OpenPGP digital signature
URL: <http://lists.genode.org/pipermail/users/attachments/20180717/3d0ed986/attachment.sig>