> Another idea would be that the client requests a resource from the server
> and when it gets disconnected tries to re-use that resource on reconnecting
> so the dead connection gets kicked. Two clients can't kick each other that
> way.

Yes, that works as well (provided that the server doesn't do mangling
on the resource names it created itself).

cheers,
Remko

Reply via email to