mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2024-12-01 06:01:04 +00:00
Code Issues 1 Projects Releases Wiki Activity

validate:Launcher: Use the first media path as a path for http server

Browse source 
We need to have a default path and the first one sounds like a
reasonnable default.
This commit is contained in:
Thibault Saunier 2014-08-08 19:14:02 +02:00
parent 2da2c6cc56
commit 631db75718
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
validate/tools/launcher/main.py
View file

@ -334,7 +334,10 @@ user argument, you can thus overrides command line options using that.
options.paths = os.path.join(options.clone_dir, MEDIAS_FOLDER) options.paths = os.path.join(options.clone_dir, MEDIAS_FOLDER)
if options.http_server_dir is None: if options.http_server_dir is None:
options.http_server_dir = options.paths if isinstance(options.paths, list):
options.http_server_dir = options.paths[0]
else:
options.http_server_dir = options.paths
if not options.sync and not os.path.exists(options.clone_dir) and \ if not options.sync and not os.path.exists(options.clone_dir) and \
options.clone_dir == os.path.join(options.clone_dir, MEDIAS_FOLDER): options.clone_dir == os.path.join(options.clone_dir, MEDIAS_FOLDER):