##// END OF EJS Templates
fix PR #1567...
fix PR #1567 PR #1567 fixed an issue where ssh server would not recognize custom ssh server ports. However, it broke another case by forcing local username if it is unspecified. ssh config should be trusted with the default username.
MinRK -
r6431:8d713c22
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html
notebook
__init__.py Loading ...