Alexander Niederbühl

JobCancellationException after client closes connection

6

When using ktor with a `requestStream` handler like this ```kotlin fun Application.module() { install(WebSockets) install(RSocketSupport) { server = RSocketServer() } routing { rSocket("stream") { RSocketRequestHandler { log.info("New subscriber") requestStream {...

Action names from other modules don't get displayed in error trace

4

When actions are instantiated from other modules for example ```tla s1 == INSTANCE step1 Next == \E task \in Tasks: \/ Cancel(task) \/ s1!Acquire(task) \/ s1!Release(task) \/ s1!WakeUp(task) \/ s1!Finished...

Host and Clock from ShiViz module do not appear in error trace

5

As suggested in https://github.com/tlaplus/CommunityModules/issues/37#issuecomment-810576974 I tried using ALIAS to make `Host` and `Clock` from the ShiViz module appear in the error trace. While ALIAS works in principle, it seems to...