src/hg-ssh
changeset 217 32b431977bf9
parent 215 584df0f2e5c7
child 236 38cea4b518c1
equal deleted inserted replaced
216:0122df83ebd0 217:32b431977bf9
    65     if not ruleset.rules.allow(op, branch=None, file=None):
    65     if not ruleset.rules.allow(op, branch=None, file=None):
    66         fail("access denied")
    66         fail("access denied")
    67     checkParents(repo)
    67     checkParents(repo)
    68     return repo
    68     return repo
    69 
    69 
    70 config.setExePath()
    70 config.initExe()
    71 
    71 
    72 if len(sys.argv) == 3 and sys.argv[1] == "--base64":
    72 if len(sys.argv) == 3 and sys.argv[1] == "--base64":
    73     ruleset.rules.set(user = base64.b64decode(sys.argv[2]))
    73     ruleset.rules.set(user = base64.b64decode(sys.argv[2]))
    74 elif len(sys.argv) == 2:
    74 elif len(sys.argv) == 2:
    75     ruleset.rules.set(user = sys.argv[1])
    75     ruleset.rules.set(user = sys.argv[1])