Features
Handshake
ISM provides an entry point, the gateway, to connect to the server pool.
This gateway follows the same handshake flow as the normal isabelle server with all passwords being valid.
A server from the pool of managed server instances is selected after the password handshake.
After the password handshake the normal OK response is returned.
However, isabelle_id and isabelle_name may not always be representative of the underlying isabelle server version.
Additionally, some extra keys are also exposed here by ISM:
client_id, representing the ISM client ID (useful for log correlation)server_id, unit name of the server chosen by ISMism_rev, build revision of the ISM instance, may be(devel), if the ISM instance was built without vcs information
Sessions
ISM will be default monitor all sessions from a client.
With this information all sessions from a client will be stopped after the client disconnects.
This differs from the normal isabelle server behavior but was intentionally introduced to ensure