I see. Thanks for the reply. I also found a related old thread at How to create a process subscribed to a channel topic to watch the handle_diff events?. Seems that if one wants really foolproof disconnection detection, one’d still need to have an external monitoring process after all then.
