Making autobahn server disconnect happy