2019-05-04 14:56:23 +00:00
|
|
|
import base64
|
|
|
|
import hashlib
|
|
|
|
import json
|
|
|
|
|
2019-05-10 19:50:58 +00:00
|
|
|
import logging
|
2019-07-21 17:40:28 +00:00
|
|
|
|
2019-05-10 19:50:58 +00:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
2019-07-21 17:40:28 +00:00
|
|
|
|
2019-05-04 14:56:23 +00:00
|
|
|
class WebSocketConnection(object):
|
2019-05-04 18:26:11 +00:00
|
|
|
def __init__(self, handler, messageHandler):
|
2019-05-04 14:56:23 +00:00
|
|
|
self.handler = handler
|
2019-05-04 18:26:11 +00:00
|
|
|
self.messageHandler = messageHandler
|
2019-05-04 14:56:23 +00:00
|
|
|
my_headers = self.handler.headers.items()
|
2019-07-21 17:40:28 +00:00
|
|
|
my_header_keys = list(map(lambda x: x[0], my_headers))
|
|
|
|
h_key_exists = lambda x: my_header_keys.count(x)
|
|
|
|
h_value = lambda x: my_headers[my_header_keys.index(x)][1]
|
|
|
|
if (
|
|
|
|
(not h_key_exists("Upgrade"))
|
|
|
|
or not (h_value("Upgrade") == "websocket")
|
|
|
|
or (not h_key_exists("Sec-WebSocket-Key"))
|
|
|
|
):
|
2019-05-04 14:56:23 +00:00
|
|
|
raise WebSocketException
|
|
|
|
ws_key = h_value("Sec-WebSocket-Key")
|
|
|
|
shakey = hashlib.sha1()
|
2019-07-21 17:40:28 +00:00
|
|
|
shakey.update("{ws_key}258EAFA5-E914-47DA-95CA-C5AB0DC85B11".format(ws_key=ws_key).encode())
|
2019-05-04 14:56:23 +00:00
|
|
|
ws_key_toreturn = base64.b64encode(shakey.digest())
|
2019-07-21 17:40:28 +00:00
|
|
|
self.handler.wfile.write(
|
|
|
|
"HTTP/1.1 101 Switching Protocols\r\nUpgrade: websocket\r\nConnection: Upgrade\r\nSec-WebSocket-Accept: {0}\r\nCQ-CQ-de: HA5KFU\r\n\r\n".format(
|
|
|
|
ws_key_toreturn.decode()
|
|
|
|
).encode()
|
|
|
|
)
|
2019-05-04 14:56:23 +00:00
|
|
|
|
|
|
|
def get_header(self, size, opcode):
|
|
|
|
ws_first_byte = 0b10000000 | (opcode & 0x0F)
|
2019-07-21 17:40:28 +00:00
|
|
|
if size > 2 ** 16 - 1:
|
2019-07-19 15:01:50 +00:00
|
|
|
# frame size can be increased up to 2^64 by setting the size to 127
|
|
|
|
# anything beyond that would need to be segmented into frames. i don't really think we'll need more.
|
2019-07-21 17:40:28 +00:00
|
|
|
return bytes(
|
|
|
|
[
|
|
|
|
ws_first_byte,
|
|
|
|
127,
|
|
|
|
(size >> 56) & 0xFF,
|
|
|
|
(size >> 48) & 0xFF,
|
|
|
|
(size >> 40) & 0xFF,
|
|
|
|
(size >> 32) & 0xFF,
|
|
|
|
(size >> 24) & 0xFF,
|
|
|
|
(size >> 16) & 0xFF,
|
|
|
|
(size >> 8) & 0xFF,
|
|
|
|
size & 0xFF,
|
|
|
|
]
|
|
|
|
)
|
|
|
|
elif size > 125:
|
2019-07-19 15:01:50 +00:00
|
|
|
# up to 2^16 can be sent using the extended payload size field by putting the size to 126
|
2019-07-21 17:40:28 +00:00
|
|
|
return bytes([ws_first_byte, 126, (size >> 8) & 0xFF, size & 0xFF])
|
2019-05-04 14:56:23 +00:00
|
|
|
else:
|
2019-07-19 15:01:50 +00:00
|
|
|
# 125 bytes binary message in a single unmasked frame
|
2019-05-04 14:56:23 +00:00
|
|
|
return bytes([ws_first_byte, size])
|
|
|
|
|
|
|
|
def send(self, data):
|
|
|
|
# convenience
|
2019-07-21 17:40:28 +00:00
|
|
|
if type(data) == dict:
|
2019-05-09 18:11:21 +00:00
|
|
|
# allow_nan = False disallows NaN and Infinty to be encoded. Browser JSON will not parse them anyway.
|
2019-07-21 17:40:28 +00:00
|
|
|
data = json.dumps(data, allow_nan=False)
|
2019-05-04 14:56:23 +00:00
|
|
|
|
|
|
|
# string-type messages are sent as text frames
|
2019-07-21 17:40:28 +00:00
|
|
|
if type(data) == str:
|
2019-05-04 14:56:23 +00:00
|
|
|
header = self.get_header(len(data), 1)
|
2019-07-21 17:40:28 +00:00
|
|
|
data_to_send = header + data.encode("utf-8")
|
2019-05-04 14:56:23 +00:00
|
|
|
# anything else as binary
|
|
|
|
else:
|
|
|
|
header = self.get_header(len(data), 2)
|
2019-06-07 18:10:03 +00:00
|
|
|
data_to_send = header + data
|
|
|
|
written = self.handler.wfile.write(data_to_send)
|
2019-07-21 17:40:28 +00:00
|
|
|
if written != len(data_to_send):
|
2019-06-07 18:10:03 +00:00
|
|
|
logger.error("incomplete write! closing socket!")
|
|
|
|
self.close()
|
|
|
|
else:
|
2019-05-04 14:56:23 +00:00
|
|
|
self.handler.wfile.flush()
|
|
|
|
|
2019-05-04 18:26:11 +00:00
|
|
|
def read_loop(self):
|
|
|
|
open = True
|
2019-07-21 17:40:28 +00:00
|
|
|
while open:
|
2019-05-04 18:26:11 +00:00
|
|
|
header = self.handler.rfile.read(2)
|
|
|
|
opcode = header[0] & 0x0F
|
|
|
|
length = header[1] & 0x7F
|
|
|
|
mask = (header[1] & 0x80) >> 7
|
2019-07-21 17:40:28 +00:00
|
|
|
if length == 126:
|
2019-05-04 18:26:11 +00:00
|
|
|
header = self.handler.rfile.read(2)
|
|
|
|
length = (header[0] << 8) + header[1]
|
2019-07-21 17:40:28 +00:00
|
|
|
if mask:
|
2019-05-04 18:26:11 +00:00
|
|
|
masking_key = self.handler.rfile.read(4)
|
|
|
|
data = self.handler.rfile.read(length)
|
2019-07-21 17:40:28 +00:00
|
|
|
if mask:
|
2019-05-04 18:26:11 +00:00
|
|
|
data = bytes([b ^ masking_key[index % 4] for (index, b) in enumerate(data)])
|
2019-07-21 17:40:28 +00:00
|
|
|
if opcode == 1:
|
|
|
|
message = data.decode("utf-8")
|
2019-05-04 18:26:11 +00:00
|
|
|
self.messageHandler.handleTextMessage(self, message)
|
2019-07-21 17:40:28 +00:00
|
|
|
elif opcode == 2:
|
2019-05-04 18:26:11 +00:00
|
|
|
self.messageHandler.handleBinaryMessage(self, data)
|
2019-07-21 17:40:28 +00:00
|
|
|
elif opcode == 8:
|
2019-05-04 18:26:11 +00:00
|
|
|
open = False
|
|
|
|
self.messageHandler.handleClose(self)
|
|
|
|
else:
|
2019-05-10 20:17:53 +00:00
|
|
|
logger.warning("unsupported opcode: {0}".format(opcode))
|
2019-05-04 18:26:11 +00:00
|
|
|
|
2019-05-12 16:10:24 +00:00
|
|
|
def close(self):
|
|
|
|
try:
|
|
|
|
header = self.get_header(0, 8)
|
|
|
|
self.handler.wfile.write(header)
|
|
|
|
self.handler.wfile.flush()
|
|
|
|
except ValueError:
|
2019-06-06 23:14:09 +00:00
|
|
|
logger.exception("ValueError while writing close frame:")
|
|
|
|
except OSError:
|
|
|
|
logger.exception("OSError while writing close frame:")
|
2019-05-12 16:10:24 +00:00
|
|
|
|
|
|
|
try:
|
|
|
|
self.handler.finish()
|
|
|
|
self.handler.connection.close()
|
|
|
|
except Exception:
|
|
|
|
logger.exception("while closing connection:")
|
|
|
|
|
|
|
|
|
2019-05-04 14:56:23 +00:00
|
|
|
class WebSocketException(Exception):
|
|
|
|
pass
|