-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathsocket_test.py
More file actions
86 lines (71 loc) · 2.63 KB
/
socket_test.py
File metadata and controls
86 lines (71 loc) · 2.63 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
# https://gist.github.com/lrvick/1185629
import gevent
from collections import namedtuple
from flask import Flask, request, make_response, render_template, redirect, url_for
from gevent.pywsgi import WSGIServer
from gevent.queue import Channel
from geventwebsocket.exceptions import WebSocketError
from geventwebsocket.handler import WebSocketHandler
app = Flask('socket_test')
comm_channel = Channel()
Message = namedtuple('Message', ['tag', 'payload'])
Subscribe = namedtuple('Subscribe', ['socket'])
IncomingMessage = namedtuple('IncomingMessage', ['sender', 'text'])
@app.route('/')
def root_handler():
return render_template('login.html')
@app.route('/login')
def login_handler():
resp = redirect(url_for('chat_handler'))
user_name = request.args.get('user-name', default='Anon')
resp.set_cookie('user-name', user_name)
return resp
@app.route('/chat')
def chat_handler():
return render_template('index.html')
@app.route('/chat_ws')
def chat_ws_handler():
if request.environ.get('wsgi.websocket'):
ws = request.environ['wsgi.websocket']
global comm_channel
comm_channel.put(Message(tag='Subscribe', payload=Subscribe(ws)))
print(f'Incoming websocket: {repr(ws)}')
sender = request.cookies.get('user-name', default='Anon')
try:
while True:
message = ws.receive()
print(f'Message received: {message}')
comm_channel.put(Message(tag='IncomingMessage',
payload=IncomingMessage(sender=sender, text=message)))
except WebSocketError:
return ''
else:
print('Couldn''t establish websocket connection.')
bad_request = 400
return make_response('Only wbsockets supported on this endpoint', bad_request)
def broadcast_handler():
global comm_channel
connections = set()
while True:
msg = comm_channel.get()
if msg.tag == 'Subscribe':
connections.add(msg.payload.socket)
elif msg.tag == 'IncomingMessage':
sender = msg.payload.sender
text = msg.payload.text
to_remove = []
for ws in connections:
try:
ws.send(f'{sender}: {text}')
except WebSocketError:
to_remove.append(ws)
for ws in to_remove:
connections.remove(ws)
else:
print(f'Unknown message type: {msg.tag}')
def main():
gevent.spawn(broadcast_handler)
server = WSGIServer(('', 8000), app, handler_class=WebSocketHandler)
server.serve_forever()
if __name__ == '__main__':
main()