Revision 70e133613ba68282617c33db22e17b05a1f93430 authored by Anne van Kesteren on 15 August 2018, 14:25:47 UTC, committed by Anne van Kesteren on 15 August 2018, 14:25:47 UTC
1 parent 3878b81
echo_exit_wsh.py
#!/usr/bin/python
from mod_pywebsocket import msgutil
_GOODBYE_MESSAGE = u'Goodbye'
def web_socket_do_extra_handshake(request):
# This example handler accepts any request. See origin_check_wsh.py for how
# to reject access from untrusted scripts based on origin value.
pass # Always accept.
def web_socket_transfer_data(request):
while True:
line = request.ws_stream.receive_message()
if line is None:
return
if isinstance(line, unicode):
if line == _GOODBYE_MESSAGE:
return
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...