##// END OF EJS Templates
FileNotebookManager: Use shutil.move() instead of os.rename()...
FileNotebookManager: Use shutil.move() instead of os.rename() `os.rename()` fails in case the new path is on a different filesystem. For example if a file in `/tmp` is tried to save to home, it causes following error: [Errno 18] Invalid cross-device link using os.rename
Pankaj Pandey -
r16212:19a55196
Show More
Name Size Modified Last Commit Author
/ IPython / kernel
blocking
comm
inprocess
ioloop
tests
zmq
__init__.py Loading ...
__main__.py Loading ...
channels.py Loading ...
channelsabc.py Loading ...
client.py Loading ...
clientabc.py Loading ...
connect.py Loading ...
launcher.py Loading ...
manager.py Loading ...
managerabc.py Loading ...
multikernelmanager.py Loading ...
restarter.py Loading ...