Creates a new FileLoader class to separate the logic of watching files (

#121)

* Split code in multiple files

* Uses new rooms with file loader

* Uses the new FileLoader

* Add observer pattern for notifying room

* Fixes watching files and cleaning rooms

* Uses locks to make sure only one client initializes the room

* Clean up before shut down

* Review: room lock private and scoped config variables

* Review: use Logger | None

* Review: save condition, load lock and iterate over subscriptions

* Fix file lock

* Uses file_id instead of paths

* lint

* Ignore type error

* Lint

* Review: Freds comments

* Lint

* Warn users about opening multiple view for the same file

* Adds docstring

* More docstring

* Fixes sync between rooms

* Lint

* Improves sync

* flake

* Revert default settings changes

jupyter_collaboration/app.py

@@ -5,7 +5,8 @@
 from traitlets import Float, Int, Type
 from ypy_websocket.ystore import BaseYStore
 
-from .handlers import DocSessionHandler, SQLiteYStore, YDocWebSocketHandler
+from .handlers import DocSessionHandler, YDocWebSocketHandler
+from .stores import SQLiteYStore
 
 
 class YDocExtension(ExtensionApp):
@@ -61,3 +62,6 @@ def initialize_handlers(self):
                 (r"/api/collaboration/session/(.*)", DocSessionHandler),
             ]
         )
+
+    async def stop_extension(self):
+        YDocWebSocketHandler.clean_up()