We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8ffae7b commit 37b8df0Copy full SHA for 37b8df0
jupyter_server_documents/app.py
@@ -101,5 +101,5 @@ def _link_jupyter_server_extension(self, server_app):
101
async def stop_extension(self):
102
self.log.info("Stopping `jupyter_server_documents` server extension.")
103
if self.yroom_manager:
104
- await self.yroom_manager.stop()
+ self.yroom_manager.stop()
105
self.log.info("`jupyter_server_documents` server extension is shut down. Goodbye!")
0 commit comments