Index: tools/devtools_auto/third_party/websocket-client/examples/echo_client.py |
diff --git a/tools/devtools_auto/third_party/websocket-client/examples/echo_client.py b/tools/devtools_auto/third_party/websocket-client/examples/echo_client.py |
new file mode 100644 |
index 0000000000000000000000000000000000000000..1eb5f1bd4c6d2b6e00578794cf1e2f483fb3c20b |
--- /dev/null |
+++ b/tools/devtools_auto/third_party/websocket-client/examples/echo_client.py |
@@ -0,0 +1,12 @@ |
+import websocket |
+ |
+if __name__ == "__main__": |
+ websocket.enableTrace(True) |
+ ws = websocket.create_connection("ws://echo.websocket.org/") |
+ print "Sending 'Hello, World'..." |
+ ws.send("Hello, World") |
+ print "Sent" |
+ print "Receiving..." |
+ result = ws.recv() |
+ print "Received '%s'" % result |
+ ws.close() |