diff options
author | Stéphane Cerveau <scerveau@collabora.com> | 2022-02-04 14:46:24 +0100 |
---|---|---|
committer | GStreamer Marge Bot <gitlab-merge-bot@gstreamer-foundation.org> | 2022-05-25 12:13:47 +0000 |
commit | a997108b182690527f6f8569cfa7b3831ba54b5e (patch) | |
tree | c12a64d4553193990691ac2a1e4d4b9fa9575eec /scripts | |
parent | 8a161880fc20edd8cccfe63cb6b3059838d8fe68 (diff) | |
download | gstreamer-a997108b182690527f6f8569cfa7b3831ba54b5e.tar.gz |
gstreamer-full-static: Be more strict with plugin param
Check that the plugins are correctly separated by ";"
and do not accept "," or ":" inside.
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/1637>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/generate_init_static_plugins.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/generate_init_static_plugins.py b/scripts/generate_init_static_plugins.py index 230929fc91..92d3d6d4d5 100644 --- a/scripts/generate_init_static_plugins.py +++ b/scripts/generate_init_static_plugins.py @@ -79,6 +79,10 @@ if __name__ == "__main__": plugins_declaration = [] plugins_registration = [] + if ',' in options.plugins or ':' in options.plugins: + print("Only ';' is allowed in the list of plugins.") + exit(1) + if options.plugins is None or options.plugins.isspace(): plugins = [] else: |