Change web demo local port to 8765 to avoid colliding with Jupyter

scripts/build_demo_web.sh

@@ -122,12 +122,12 @@ echo "Finished ${FINAL_WASM_PATH}"
 if [[ "${OPEN}" == true ]]; then
   if [[ "$OSTYPE" == "linux-gnu"* ]]; then
     # Linux, ex: Fedora
-    xdg-open http://localhost:8888/index.html
+    xdg-open http://localhost:8765/index.html
   elif [[ "$OSTYPE" == "msys" ]]; then
     # Windows
-    start http://localhost:8888/index.html
+    start http://localhost:8765/index.html
   else
     # Darwin/MacOS, or something else
-    open http://localhost:8888/index.html
+    open http://localhost:8765/index.html
   fi
 fi

scripts/start_server.sh

@@ -6,7 +6,7 @@ cd "$script_path/.."
 # Starts a local web-server that serves the contents of the `doc/` folder,
 # i.e. the web-version of `egui_demo_app`.
 
-PORT=8888
+PORT=8765
 
 echo "ensuring basic-http-server is installed…"
 cargo install basic-http-server