fix checkpoint filename

13 years ago · 3a4d719033
parent bc0dc279f1
commit 3a4d719033
1 changed files with 2 additions and 1 deletions
--- a/IPython/html/services/notebooks/filenbmanager.py
+++ b/IPython/html/services/notebooks/filenbmanager.py
@ -326,8 +326,9 @@ class FileNotebookManager(NotebookManager):
    def get_checkpoint_path(self, checkpoint_id, name, path=''):
        """find the path to a checkpoint"""
        path = path.strip('/')
+        basename, _ = os.path.splitext(name)
        filename = u"{name}-{checkpoint_id}{ext}".format(
-            name=name,
+            name=basename,
            checkpoint_id=checkpoint_id,
            ext=self.filename_ext,
        )