##// END OF EJS Templates
DEV: Separate FileCheckpointManager and GenericFileCheckpointManager....
DEV: Separate FileCheckpointManager and GenericFileCheckpointManager. - Adds a `GenericCheckpointMixin` as a helper for implementing the two boundary-traversing Checkpoint API methods, `create_checkpoint` and `restore_checkpoint`. - `GenericFileCheckpointManager` is implemented as a subclass of `FileCheckpointManager` using `GenericCheckpointMixin`. Note that this is the safe subtyping relationship because of method signature *contra*variance: `FileCheckpointManager` accepts `FileContentsManager` in its method signatures type, whereas `GenericFileCheckpointManager` accepts any `ContentsManager`. - Moved Checkpoint-related classes to their own files.
Scott Sanderson -
r19838:4cce9bcf
Show More
Name Size Modified Last Commit Author
/ IPython / parallel / controller
__init__.py Loading ...
__main__.py Loading ...
dependency.py Loading ...
dictdb.py Loading ...
heartmonitor.py Loading ...
hub.py Loading ...
mongodb.py Loading ...
scheduler.py Loading ...
sqlitedb.py Loading ...