##// END OF EJS Templates
Merge pull request #2511 from minrk/remote_profile_dir...
Merge pull request #2511 from minrk/remote_profile_dir trigger default remote_profile_dir when profile_dir is set n SSHLaunchers remote_profile_dir_default could be triggered before profile_dir was set, resulting in an empty remote_profile_dir, causing failures.
Min RK -
r8664:a2229bbf merge
Show More
Name Size Modified Last Commit Author
/ IPython / zmq
gui
pylab
tests
__init__.py Loading ...
blockingkernelmanager.py Loading ...
completer.py Loading ...
datapub.py Loading ...
displayhook.py Loading ...
entry_point.py Loading ...
eventloops.py Loading ...
frontend.py Loading ...
heartbeat.py Loading ...
iostream.py Loading ...
ipkernel.py Loading ...
kernelapp.py Loading ...
kernelmanager.py Loading ...
log.py Loading ...
logtopics.rst Loading ...
parentpoller.py Loading ...
serialize.py Loading ...
session.py Loading ...
zmqshell.py Loading ...