kill xpra when jupyter-server-proxy exits

Author: jhgoebbert

jupyter_xprahtml5/__init__.py

@@ -79,7 +79,8 @@ def _get_random_alphanumeric_string(length):
         '--html=on',
         '--bind-tcp=0.0.0.0:{port}',
         # '--socket-dir="' + socket_path + '/"',  # fixme: socket_dir not recognized
-        '--server-idle-timeout=86400',  # stop server after 24h with no client connection
+        # '--server-idle-timeout=86400',  # stop server after 24h with no client connection
+        # '--exit-with-client=yes',  # stop Xpra when the browser disconnects
         '--start=xterm',
         # '--start-child=xterm', '--exit-with-children',
         # '--tcp-auth=file:filename=' + fpath_passwd,

jupyter_xprahtml5/share/launch_xpra.sh

@@ -7,8 +7,8 @@
 # example
 # module purge > /dev/null
 # module use $OTHERSTAGES > /dev/null
-# module load Stages/Devel-2020 > /dev/null
+# module load Stages/2020 > /dev/null
 # module load GCCcore/.9.3.0 > /dev/null
 # module load xpra/4.0.4-Python-3.8.5 > /dev/null
 
-exec xpra $@
+xpra $@

setup.py

@@ -8,7 +8,7 @@
 setup(
     name="jupyter-xprahtml5-proxy",
     packages=find_packages(),
-    version='0.2.0',
+    version='0.2.1',
 
     author_email="[email protected]",
     description="Xpra for JupyterLab",