Service denied when server is updated

[Stefan Thöni]

Hello Genodians,

I observed that when a runtime configuration with a app already present
(downloaded and unpacked) accessing a service on new server (version) is
deployed, the app gets a Service_denied exception while the new server
(version) is being downloaded, verified or unpacked.

Wouldn't it be better to start all components in the runtime
configuration only when all possible downloading is complete?

Otherwise we either need to make components tolerant to Service_denied
exceptions or detect such error conditions and restart the runtime entirely.

Cheers
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/20180706/6f9fdc7b/attachment-0001.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/20180706/6f9fdc7b/attachment-0001.sig>