From 3c5c01a109eb5d673fb24a59557b85562635e307 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fernando=20Jim=C3=A9nez=20Moreno?= Date: Wed, 12 Sep 2018 07:18:52 +0200 Subject: [PATCH] Move gstreamer msi to msi folder after download --- python/servo/package_commands.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/python/servo/package_commands.py b/python/servo/package_commands.py index 020a0492cd1..093b634766d 100644 --- a/python/servo/package_commands.py +++ b/python/servo/package_commands.py @@ -371,12 +371,11 @@ class PackageCommands(CommandBase): # Download GStreamer installer. Only once. dir_to_gst_deps = path.join(dir_to_msi, 'Gstreamer.msi') gstreamer_msi_path = path.join(target_dir, 'Gstreamer.msi') - if os.path.exists(gstreamer_msi_path): - shutil.copy(gstreamer_msi_path, dir_to_gst_deps) - else: + if not os.path.exists(gstreamer_msi_path): print('Fetching GStreamer installer. This may take a while...') gstreamer_url = 'https://gstreamer.freedesktop.org/data/pkg/windows/1.14.2/gstreamer-1.0-x86-1.14.2.msi' urllib.urlretrieve(gstreamer_url, gstreamer_msi_path) + shutil.copy(gstreamer_msi_path, dir_to_gst_deps) # Generate bundle with GStreamer and Servo installers. print("Creating bundle")