Use websockets to detect tab close (#223)

* run a websocket + http server

* this might just work

* choose a websocket port and connect to it

* connect on hostname

* version bump

* websocket server is not shutting down

* giving up on websockets

* port text handlers to aiohttp

* set up websocket on the same port

* able to shut down, but getting a stack trace

* maybe SIGINT works

* pare back

* port image endpoints

* drop websockets dependency

* drop SERVER

* cleanup

* bump JS version

Author: danvk

poetry.lock

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "webdiff"
-version = "1.2.0"
+version = "1.3.0"
 description = "Two-column web-based git difftool"
 license = "Apache-2.0"
 readme = "README.md"
@@ -30,6 +30,7 @@ binaryornot = "*"
 pillow = "*"
 PyGithub = "2.3.0"
 unidiff = "==0.7.4"
+aiohttp = "^3.9.5"
 
 [tool.poetry.group.dev.dependencies]
 pytest = "^7.1.3"

pyproject.toml

@@ -1,11 +1,5 @@
 #!/bin/bash
 export DEBUG=true
 export WEBDIFF_PORT=6001
-export WEBDIFF_NO_OPEN=true
 
-sleep 1 && open 'http://localhost:6001' &
-
-npx nodemon \
-    -w webdiff \
-    --ext py,html,js \
-    -x poetry run webdiff/gitwebdiff.py $*
+poetry run webdiff/gitwebdiff.py $*

test-gitwebdiff.sh

@@ -14,3 +14,12 @@ const App = () => (
 
 injectStylesFromConfig();
 ReactDOM.render(<App />, document.getElementById('application'));
+
+const host = window.location.host;
+const websocket = new WebSocket(`ws://${host}/ws`);
+websocket.onmessage = msg => {
+  // no op
+};
+websocket.onopen = e => {
+  websocket.send('hello!');
+};

ts/index.tsx

@@ -1,6 +1,6 @@
 {
   "name": "webdiff",
-  "version": "1.2.0",
+  "version": "1.3.0",
   "description": "client-side code for webdiff",
   "main": "index.js",
   "author": "Dan Vanderkam (danvdk@gmail.com)",