diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2024-06-30 15:46:39 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2024-06-30 15:46:39 +0200 |
| commit | 73365252941d4053dca0e7fa06f4c205194cf1b8 (patch) | |
| tree | 3eff4566f12e48cfee6b35955d262e46ee5a5da1 /sanei/sanei_config.c | |
| parent | 52c7d661296d9efb9a51b52c38dda22516cf981a (diff) | |
| parent | 3c9b873509b5c2278d4e345bf86a22c1ff26f3c0 (diff) | |
Merge branch 'release/debian/1.3.0-1'debian/1.3.0-1
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 */ |