diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-04-25 18:44:37 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-04-25 18:44:37 +0300 |
| commit | 4296a8dc5c58df24988ef0deb51519b2cdb6141f (patch) | |
| tree | 82eeb26e21f59634382d3ec7f5a0d1992f0cabdd /esp8266/scripts | |
| parent | bd66b09512a9b6a4449a176845f1a10554575640 (diff) | |
| download | micropython-4296a8dc5c58df24988ef0deb51519b2cdb6141f.tar.gz micropython-4296a8dc5c58df24988ef0deb51519b2cdb6141f.zip | |
esp8266/scripts/webrepl: Allow to override port.
Diffstat (limited to 'esp8266/scripts')
| -rw-r--r-- | esp8266/scripts/webrepl.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/esp8266/scripts/webrepl.py b/esp8266/scripts/webrepl.py index f304b4e98b..e837e760d3 100644 --- a/esp8266/scripts/webrepl.py +++ b/esp8266/scripts/webrepl.py @@ -7,19 +7,19 @@ import websocket_helper listen_s = None client_s = None -def setup_conn(): +def setup_conn(port): global listen_s, client_s listen_s = socket.socket() listen_s.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1) - ai = socket.getaddrinfo("0.0.0.0", 8266) + ai = socket.getaddrinfo("0.0.0.0", port) print("Bind address info:", ai) addr = ai[0][4] listen_s.bind(addr) listen_s.listen(1) listen_s.setsockopt(socket.SOL_SOCKET, 20, accept_conn) - print("WebREPL daemon started on port 8266") + print("WebREPL daemon started on port %d" % port) def accept_conn(listen_sock): @@ -44,6 +44,6 @@ def stop(): listen_s.close() -def start(): +def start(port=8266): stop() - setup_conn() + setup_conn(port) |