def clean_path(path):
    """
    Add ws:///@user/ prefix if necessary
    """
    if path[0:3] != "ws:":
        while path and path[0] == "/":
            path = path[1:]
        path = "ws:///@user/" + path
    return path