[jetty-users] WebSocket.onDisconnect() doesn't be called when auto-disco

[YoJay Li <yojay.li@xxxxxxxxx>]

[test in jetty-7.0.1.v20091125 and Chrome 5.0.322.2 dev]

Disconnection  is caused by some situations:
1. client:
    [javascript]
    WebSocket.close()
2. server:
    WebSocket.Outbound.disconnect()
3. timeout and auto-disconnect

And then,

in client side:
    [ javascript] WebSocket.onclose() will be called.
in server side:
    Situation 1 and 2 will call WebSocket.onDisconnect() so I can free
some resources.
    But situation3 will not call WebSocket.onDisconnect(). Is it a
bug? Or another way to get this event?