src/hg-ssh
changeset 62 f1e319d3672a
parent 50 77d97aa18f29
child 67 fd16d9a1234b
equal deleted inserted replaced
59:f96de2d99f00 62:f1e319d3672a
    72 
    72 
    73 rules = ruleset.rules_from_env()
    73 rules = ruleset.rules_from_env()
    74 rules.set(user = getpath(os.environ['REMOTE_USER']))
    74 rules.set(user = getpath(os.environ['REMOTE_USER']))
    75 rules.set(branch = None, file = None)
    75 rules.set(branch = None, file = None)
    76 try_cmd(rules, os.environ.get('SSH_ORIGINAL_COMMAND', '?'))
    76 try_cmd(rules, os.environ.get('SSH_ORIGINAL_COMMAND', '?'))
    77