commit | 37b237bfbed17a0d1026defd1d15150fcd92095d | [log] [tgz] |
---|---|---|
author | Chris Gibson <cgibson@google.com> | Fri Mar 04 23:51:05 2016 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Mar 04 23:51:05 2016 +0000 |
tree | 92b35020a015456312414f4b4abb025abb04c2ad | |
parent | ff17fcf5f37213d632c9a7a2dc3021facfb02881 [diff] | |
parent | 251e1e3cd18b66c9cdfaf115f54169f5eb72ad50 [diff] |
Merge "platform: change jsonpoll port to match glaukus"
diff --git a/jsonpoll/jsonpoll.py b/jsonpoll/jsonpoll.py index 9e78b8e..7e0c7ea 100755 --- a/jsonpoll/jsonpoll.py +++ b/jsonpoll/jsonpoll.py
@@ -31,7 +31,7 @@ jsonpoll [options] -- host= host to connect to [localhost] -port= port to connect to [8000] +port= port to connect to [8080] i,interval= poll interval in seconds [15] """