def patched_path(path):
 if (not path.endswith('/')):
  path += '/'
 if path.startswith('/RPC2/'):
  path = path[5:]
 return path

def patched_path ( path ) : if ( not path . endswith ( '/' ) ) : path += '/' if path . startswith ( '/RPC2/' ) : path = path [ 5 : ] return path
return path .