git-dumper fix

This commit is contained in:
Roman Hergenreder 2020-06-16 21:42:36 +02:00
parent 8e95f3053c
commit 0b1c78ab56

@ -548,8 +548,8 @@ if __name__ == '__main__':
urllib3.disable_warnings(urllib3.exceptions.InsecureRequestWarning) urllib3.disable_warnings(urllib3.exceptions.InsecureRequestWarning)
# fetch everything # fetch everything
code = fetch_git(args.url, args.directory, args.jobs, args.retry, args.timeout)
path = os.path.realpath(args.directory) path = os.path.realpath(args.directory)
code = fetch_git(args.url, args.directory, args.jobs, args.retry, args.timeout)
if not os.listdir(path): if not os.listdir(path):
os.rmdir(path) os.rmdir(path)