fix Nico's code, so that the WAMP server would not crash when a client leaves, but the so-called bug needs to be confirm by Nico