##// END OF EJS Templates
fixed notebook rename after nbmanager refactor
Zachary Sailer -
Show More
@@ -241,7 +241,7 b' class FileNotebookManager(NotebookManager):'
241
241
242 # Should we proceed with the move?
242 # Should we proceed with the move?
243 if os.path.isfile(new_os_path):
243 if os.path.isfile(new_os_path):
244 raise web.HTTPError(409, u'Notebook with name already exists: ' % new_os_path)
244 raise web.HTTPError(409, u'Notebook with name already exists: %s' % new_os_path)
245 if self.save_script:
245 if self.save_script:
246 old_py_path = os.path.splitext(old_os_path)[0] + '.py'
246 old_py_path = os.path.splitext(old_os_path)[0] + '.py'
247 new_py_path = os.path.splitext(new_os_path)[0] + '.py'
247 new_py_path = os.path.splitext(new_os_path)[0] + '.py'
@@ -258,8 +258,8 b' class FileNotebookManager(NotebookManager):'
258 old_checkpoints = self.list_checkpoints(old_name, old_path)
258 old_checkpoints = self.list_checkpoints(old_name, old_path)
259 for cp in old_checkpoints:
259 for cp in old_checkpoints:
260 checkpoint_id = cp['checkpoint_id']
260 checkpoint_id = cp['checkpoint_id']
261 old_cp_path = self.get_checkpoint_path(checkpoint_id, old_name, path)
261 old_cp_path = self.get_checkpoint_path(checkpoint_id, old_name, old_path)
262 new_cp_path = self.get_checkpoint_path(checkpoint_id, new_name, path)
262 new_cp_path = self.get_checkpoint_path(checkpoint_id, new_name, new_path)
263 if os.path.isfile(old_cp_path):
263 if os.path.isfile(old_cp_path):
264 self.log.debug("Renaming checkpoint %s -> %s", old_cp_path, new_cp_path)
264 self.log.debug("Renaming checkpoint %s -> %s", old_cp_path, new_cp_path)
265 os.rename(old_cp_path, new_cp_path)
265 os.rename(old_cp_path, new_cp_path)
@@ -129,7 +129,7 b' var IPython = (function (IPython) {'
129 var nbname = IPython.notebook.notebook_name;
129 var nbname = IPython.notebook.notebook_name;
130 var path = IPython.notebook.notebookPath();
130 var path = IPython.notebook.notebookPath();
131 var state = {"path": path+nbname}
131 var state = {"path": path+nbname}
132 window.history.replaceState(state, "", "/notebooks/" + path+nbname);
132 window.history.replaceState(state, "", "/notebooks" + path+nbname);
133 }
133 }
134
134
135
135
General Comments 0
You need to be logged in to leave comments. Login now