Commit 20d085dc authored by Nicolas Wavrant's avatar Nicolas Wavrant

runner: realpath of an URL is URL itself

parent 8ba67db8
...@@ -793,6 +793,9 @@ def realpath(config, path, check_exist=True): ...@@ -793,6 +793,9 @@ def realpath(config, path, check_exist=True):
Get realpath of path or return False if user is not allowed to access to Get realpath of path or return False if user is not allowed to access to
this file. this file.
""" """
_isurl = re.compile('([a-zA-Z0-9+.-]+)://').match
if _isurl(path):
return path
split_path = path.split('/') split_path = path.split('/')
key = split_path[0] key = split_path[0]
virtual_path_list = ('software_root', 'instance_root', 'workspace', virtual_path_list = ('software_root', 'instance_root', 'workspace',
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment