python websockets stop server