##// 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.

File last commit:

r2440:0caaf43a
r6431:8d713c22
Show More
simpleerr.py
32 lines | 584 B | text/x-python | PythonLexer
Fernando Perez
Lots of work on exception handling, including tests for traceback printing....
r2440 """Error script. DO NOT EDIT FURTHER! It will break exception doctests!!!"""
import sys
def div0():
"foo"
x = 1
y = 0
x/y
def sysexit(stat, mode):
raise SystemExit(stat, 'Mode = %s' % mode)
def bar(mode):
"bar"
if mode=='div':
div0()
elif mode=='exit':
try:
stat = int(sys.argv[2])
except:
stat = 1
sysexit(stat, mode)
else:
raise ValueError('Unknown mode')
if __name__ == '__main__':
try:
mode = sys.argv[1]
except IndexError:
mode = 'div'
bar(mode)