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>

diff --git a/scripts/generate_init_static_plugins.py b/scripts/generate_init_static_plugins.py
index 230929fc91bc89dd80ef24e7ee9838081ad642c3..92d3d6d4d592dbfacbdd8c38727f8c0f8a2798ea 100644 (file)
--- 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: