change http/websocket ports to 8050/8051

start_browser.py

@@ -9,8 +9,8 @@ starttime = time.time()
 sys.stderr.write('start\n')
 for _ in range(30):
     try:
-        socket.create_connection(('localhost', 8080), timeout=1)
-        os.system('/usr/bin/chromium-browser http://localhost:8080/')
+        socket.create_connection(('localhost', 8051), timeout=1)
+        os.system('/usr/bin/chromium-browser http://localhost:8050/')
         t = time.time() - starttime
         if t > 30:
             break