From 36f9ba8f52fa94e052215b445cf3cbc652bf4bf3 Mon Sep 17 00:00:00 2001 From: Thibault Saunier Date: Wed, 19 Mar 2014 18:42:37 +0100 Subject: [PATCH] launcher: Allow user to set media-files directory That was broken by 71dee6c3843d02d9d41bbb353cb3fa653190018d --- validate/tools/launcher/main.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/validate/tools/launcher/main.py b/validate/tools/launcher/main.py index c54eab8707..5ae31b4413 100644 --- a/validate/tools/launcher/main.py +++ b/validate/tools/launcher/main.py @@ -157,8 +157,10 @@ def main(): if options.http_server_dir is None: options.http_server_dir = options.paths - if not options.sync and not os.path.exists(options.clone_dir): - printc("Media path (%s) does not exists. Forgot to run --sync ?" % options.clone_dir, Colors.FAIL, True) + if not options.sync and not os.path.exists(options.clone_dir) and \ + options.clone_dir == os.path.join(options.clone_dir, MEDIAS_FOLDER): + printc("Media path (%s) does not exists. Forgot to run --sync ?" + % options.clone_dir, Colors.FAIL, True) return -1 tests_launcher.set_settings(options, args)