diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2024-03-03 09:55:14 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2024-03-03 09:55:14 +0100 |
| commit | b098beb219b0b300ec7eb915bfa2b3038c3fb533 (patch) | |
| tree | 08c40dc8b180b31f504945e8da3e3ea3950e4145 /sanei/sanei_config.c | |
| parent | 2938695ca4c9bca7834817465662e31570f6d32f (diff) | |
| parent | 23c348d62ab9f0a902189c70921310a5f856852c (diff) | |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'sanei/sanei_config.c')
| -rw-r--r-- | sanei/sanei_config.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sanei/sanei_config.c b/sanei/sanei_config.c index 07c85c9..45f3803 100644 --- a/sanei/sanei_config.c +++ b/sanei/sanei_config.c @@ -295,6 +295,12 @@ sanei_configure_attach (const char *config_file, SANEI_Config * config, * So we parse the line 2 time to find an option */ /* check if it is an option */ lp = sanei_config_get_string (lp, &token); + if (NULL == token) + { + // Invalid format? + continue; + } + if (strncmp (token, "option", 6) == 0) { /* skip the "option" token */ |