##// END OF EJS Templates
fix checkpoint filename
MinRK -
Show More
@@ -326,8 +326,9 b' class FileNotebookManager(NotebookManager):'
326 def get_checkpoint_path(self, checkpoint_id, name, path=''):
326 def get_checkpoint_path(self, checkpoint_id, name, path=''):
327 """find the path to a checkpoint"""
327 """find the path to a checkpoint"""
328 path = path.strip('/')
328 path = path.strip('/')
329 basename, _ = os.path.splitext(name)
329 filename = u"{name}-{checkpoint_id}{ext}".format(
330 filename = u"{name}-{checkpoint_id}{ext}".format(
330 name=name,
331 name=basename,
331 checkpoint_id=checkpoint_id,
332 checkpoint_id=checkpoint_id,
332 ext=self.filename_ext,
333 ext=self.filename_ext,
333 )
334 )
General Comments 0
You need to be logged in to leave comments. Login now