jupyter-server / enterprise_gateway

A lightweight, multi-tenant, scalable and secure gateway that enables Jupyter Notebooks to share resources across distributed clusters such as Apache Spark, Kubernetes and others.
https://jupyter-enterprise-gateway.readthedocs.io/en/latest/
Other
623 stars 222 forks source link

Check kernel id before delete and upgrade ws #1376

Closed vegetablest closed 4 months ago

vegetablest commented 8 months ago
lresende commented 8 months ago

@kevin-bates waiting couple days before merging in case you have any questions

edwardzjl commented 4 months ago

Any progress on this?