mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-19 19:26:29 +00:00
6491ba0589
This patch weakens the aggressive restart of a child with incomplete environment sessions. The restart check is performed each time the init configuration changes. In sculpt, this is not a rare special case anymore but a frequent case when using the depot_rom as provider for environment ROM sessions. In particular when starting a chain of inter-depending children, the sculpt-manager quickly generates a sequence of configurations with successively added start nodes. |
||
|---|---|---|
| .. | ||
| alias.h | ||
| child_registry.h | ||
| child.cc | ||
| child.h | ||
| config.explicit_routing | ||
| config.priority | ||
| config.wildcard | ||
| config.xsd | ||
| main.cc | ||
| name_registry.h | ||
| report.h | ||
| server.cc | ||
| server.h | ||
| service.h | ||
| state_reporter.h | ||
| target.mk | ||
| types.h | ||
| utils.h | ||
| verbose.h | ||