made websocket more generic to ease its automatic generation by ThingML