From 4296a8dc5c58df24988ef0deb51519b2cdb6141f Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Mon, 25 Apr 2016 18:44:37 +0300
Subject: [PATCH] esp8266/scripts/webrepl: Allow to override port.
---
esp8266/scripts/webrepl.py | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/esp8266/scripts/webrepl.py b/esp8266/scripts/webrepl.py
index f304b4e98..e837e760d 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)
--
GitLab