+ const char *vlc_argv[7];
+ int vlc_argc = 0;
+
+ vlc_argv[vlc_argc++] = "--ignore-config";
+ vlc_argv[vlc_argc++] = "--quiet";
+ vlc_argv[vlc_argc++] = "--no-media-library";
+ if (force)
+ vlc_argv[vlc_argc++] = "--reset-plugins-cache";
+ vlc_argv[vlc_argc++] = arg;
+ vlc_argv[vlc_argc++] = "--"; /* end of options */
+ vlc_argv[vlc_argc] = NULL;