clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEcafe00f2161e: proper protocol init (amending 065dcd80293e);
- Branches
- Unknown
- Tags