2019-05-04 14:56:23 +00:00
|
|
|
import base64
|
|
|
|
import hashlib
|
|
|
|
import json
|
2019-09-22 10:56:35 +00:00
|
|
|
from multiprocessing import Pipe
|
2019-09-21 11:49:37 +00:00
|
|
|
import select
|
2019-09-21 20:10:16 +00:00
|
|
|
import threading
|
2019-05-04 14:56:23 +00:00
|
|
|
|
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-09-21 11:49:37 +00:00
|
|
|
class IncompleteRead(Exception):
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
2019-05-04 14:56:23 +00:00
|
|
|
class WebSocketConnection(object):
|
2019-09-22 10:57:13 +00:00
|
|
|
connections = []
|
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def closeAll():
|
|
|
|
for c in WebSocketConnection.connections:
|
|
|
|
try:
|
|
|
|
c.close()
|
|
|
|
except:
|
|
|
|
logger.exception("exception while shutting down websocket connections")
|
|
|
|
|
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-09-21 20:10:16 +00:00
|
|
|
self.handler.connection.setblocking(0)
|
2019-05-04 18:26:11 +00:00
|
|
|
self.messageHandler = messageHandler
|
2019-09-22 10:56:35 +00:00
|
|
|
(self.interruptPipeRecv, self.interruptPipeSend) = Pipe(duplex=False)
|
2019-09-21 11:49:37 +00:00
|
|
|
self.open = True
|
2019-09-21 20:10:16 +00:00
|
|
|
self.sendLock = threading.Lock()
|
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
|
2019-09-21 20:10:16 +00:00
|
|
|
|
|
|
|
def chunks(l, n):
|
|
|
|
"""Yield successive n-sized chunks from l."""
|
|
|
|
for i in range(0, len(l), n):
|
|
|
|
yield l[i : i + n]
|
|
|
|
|
|
|
|
try:
|
2019-09-22 11:16:24 +00:00
|
|
|
with self.sendLock:
|
|
|
|
for chunk in chunks(data_to_send, 1024):
|
|
|
|
(_, write, _) = select.select([], [self.handler.wfile], [], 10)
|
|
|
|
if self.handler.wfile in write:
|
|
|
|
written = self.handler.wfile.write(chunk)
|
|
|
|
if written != len(chunk):
|
|
|
|
logger.error("incomplete write! closing socket!")
|
|
|
|
self.close()
|
|
|
|
else:
|
|
|
|
logger.debug("socket not returned from select; closing")
|
|
|
|
self.close()
|
2019-09-21 20:10:16 +00:00
|
|
|
# these exception happen when the socket is closed
|
|
|
|
except OSError:
|
|
|
|
logger.exception("OSError while writing data")
|
|
|
|
self.close()
|
|
|
|
except ValueError:
|
|
|
|
logger.exception("ValueError while writing data")
|
|
|
|
self.close()
|
|
|
|
|
2019-09-22 11:16:24 +00:00
|
|
|
def protected_read(self, num):
|
|
|
|
data = self.handler.rfile.read(num)
|
|
|
|
if data is None or len(data) != num:
|
|
|
|
raise IncompleteRead()
|
|
|
|
return data
|
|
|
|
|
2019-09-21 11:49:37 +00:00
|
|
|
def interrupt(self):
|
2019-09-22 10:56:35 +00:00
|
|
|
self.interruptPipeSend.send(bytes(0x00))
|
2019-09-21 11:49:37 +00:00
|
|
|
|
2019-05-04 18:26:11 +00:00
|
|
|
def read_loop(self):
|
2019-09-22 10:57:13 +00:00
|
|
|
WebSocketConnection.connections.append(self)
|
2019-09-21 11:49:37 +00:00
|
|
|
self.open = True
|
|
|
|
while self.open:
|
2019-09-21 20:10:16 +00:00
|
|
|
(read, _, _) = select.select([self.interruptPipeRecv, self.handler.rfile], [], [])
|
|
|
|
if self.handler.rfile in read:
|
|
|
|
available = True
|
|
|
|
while available:
|
|
|
|
try:
|
2019-09-21 11:49:37 +00:00
|
|
|
header = self.protected_read(2)
|
2019-09-21 20:10:16 +00:00
|
|
|
opcode = header[0] & 0x0F
|
|
|
|
length = header[1] & 0x7F
|
|
|
|
mask = (header[1] & 0x80) >> 7
|
|
|
|
if length == 126:
|
|
|
|
header = self.protected_read(2)
|
|
|
|
length = (header[0] << 8) + header[1]
|
|
|
|
if mask:
|
|
|
|
masking_key = self.protected_read(4)
|
|
|
|
data = self.protected_read(length)
|
|
|
|
if mask:
|
|
|
|
data = bytes([b ^ masking_key[index % 4] for (index, b) in enumerate(data)])
|
|
|
|
if opcode == 1:
|
|
|
|
message = data.decode("utf-8")
|
|
|
|
self.messageHandler.handleTextMessage(self, message)
|
|
|
|
elif opcode == 2:
|
|
|
|
self.messageHandler.handleBinaryMessage(self, data)
|
|
|
|
elif opcode == 8:
|
|
|
|
logger.debug("websocket close frame received; closing connection")
|
|
|
|
self.open = False
|
|
|
|
else:
|
|
|
|
logger.warning("unsupported opcode: {0}".format(opcode))
|
|
|
|
except IncompleteRead:
|
|
|
|
available = False
|
|
|
|
|
|
|
|
logger.debug("websocket loop ended; shutting down")
|
|
|
|
|
|
|
|
self.messageHandler.handleClose()
|
2019-09-21 11:49:37 +00:00
|
|
|
|
|
|
|
logger.debug("websocket loop ended; sending close frame")
|
2019-05-04 18:26:11 +00:00
|
|
|
|
2019-05-12 16:10:24 +00:00
|
|
|
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
|
|
|
|
2019-09-22 10:57:13 +00:00
|
|
|
try:
|
|
|
|
WebSocketConnection.connections.remove(self)
|
|
|
|
except ValueError:
|
|
|
|
pass
|
|
|
|
|
2019-09-21 11:49:37 +00:00
|
|
|
def close(self):
|
|
|
|
self.open = False
|
|
|
|
self.interrupt()
|
2019-05-12 16:10:24 +00:00
|
|
|
|
|
|
|
|
2019-05-04 14:56:23 +00:00
|
|
|
class WebSocketException(Exception):
|
|
|
|
pass
|