Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-02 04:53:39 +01:00
Code Issues Projects Releases Packages Wiki Activity

Don't try to list files in directories that don't exist

Browse source 
Fixes #20784
This commit is contained in:
Bastien Orivel 2018-05-15 20:14:52 +02:00
parent 1d8283e010
commit d53e06d1f4
1 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
python/servo/bootstrap_commands.py
View file

@ -237,8 +237,14 @@ class MachCommands(CommandBase):
git_dir = path.join(cargo_dir, "git") git_dir = path.join(cargo_dir, "git")
git_db_dir = path.join(git_dir, "db") git_db_dir = path.join(git_dir, "db")
git_checkout_dir = path.join(git_dir, "checkouts") git_checkout_dir = path.join(git_dir, "checkouts")
git_db_list = filter(lambda f: not f.startswith('.'), os.listdir(git_db_dir)) if os.path.isdir(git_db_dir):
git_checkout_list = os.listdir(git_checkout_dir) git_db_list = filter(lambda f: not f.startswith('.'), os.listdir(git_db_dir))
else:
git_db_list = []
if os.path.isdir(git_checkout_dir):
git_checkout_list = os.listdir(git_checkout_dir)
else:
git_checkout_list = []
for d in list(set(git_db_list + git_checkout_list)): for d in list(set(git_db_list + git_checkout_list)):
crate_name = d.replace("-{}".format(d.split("-")[-1]), "") crate_name = d.replace("-{}".format(d.split("-")[-1]), "")