ros.py 文件源码

def filedownload(source, destination):
    import urllib
    if not isempty(source):
        if not isempty(destination):
            try:
                urllib.request.urlretrieve(source, destination)
            except:
                raise RuntimeError('An Error Has Occured: File Download Error (0010)')
        else:
            raise RuntimeError('An Error Has Occured: Source Or Destination Invalid (0011)')
    else:
        raise RuntimeError('An Error Has Occured: Source Or Destination Invalid (0011)')

# Tools For Files (If Exists, Make And Delete)