More exactly, the network socket didn't detect the disconnection.(more exactly, the server websocket does not result disconnected)
Have you tried it? Just add the timer in the server and run it. It worked properly here.The workaround Erel suggested, if I understand well, is not enough.
As previously written, there is no bug here. For further discussion please start a new thread in the questions forum.