updated API

This commit is contained in:
Robinson 2023-03-02 19:41:03 +01:00
parent 7ec23c59fa
commit 408b41470e
No known key found for this signature in database
GPG Key ID: 8E7DB78588BD6F5C

View File

@ -423,12 +423,12 @@ open class Connection(connectionParameters: ConnectionParams<*>) {
}
// NOTE: any waiting RMI messages that are in-flight will terminate when they time-out (and then do nothing)
// NOTE: notifyDisconnect() is called inside closeAction()!!
// This is set by the client/server so if there is a "connect()" call in the disconnect callback, we can have proper
// lock-stop ordering for how disconnect and connect work with each-other
runBlocking {
endPoint.eventDispatch.runBlocking {
closeAction()
}