webrepl.html: Switch to port 8266.

Paul Sokolovsky · Paul Sokolovsky · commit 612eea66a000 · 2016-04-13T13:20:13.000+03:00
diff --git a/webrepl.html b/webrepl.html
@@ -34,7 +34,7 @@
 <script src="term.js"></script>
 <html>
 <body>
-<input type="text" id="url" value="ws://192.168.4.1:8080/" />
+<input type="text" id="url" value="ws://192.168.4.1:8266/" />
 <input type="button" id="button" value="Connect" onclick="button_click()" />
 <div id="term">
 </div>
