#100: define global variable websocket