diff options
author | Thomas White <taw@physics.org> | 2021-07-15 16:21:54 +0200 |
---|---|---|
committer | Thomas White <taw@physics.org> | 2021-07-15 17:05:43 +0200 |
commit | db1f4d304c45482a6985d19df99a920c48248cfb (patch) | |
tree | c8df1608988862e8d611590a9ed9b4b990b0cccf | |
parent | cfda5fd637fbc2002195ee9e39612d5319a12800 (diff) |
pinkindexer_used: Handle methods=NULL
In this case, return false because PinkIndexer is never in the list of
automatically-chosen indexers.
-rw-r--r-- | src/gui_index.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui_index.c b/src/gui_index.c index 645af05e..55a758f0 100644 --- a/src/gui_index.c +++ b/src/gui_index.c @@ -794,6 +794,8 @@ static int pinkindexer_used(const char *methods) int n, i; int r = 0; + if ( methods == NULL ) return 0; + m = parse_indexing_methods(methods, &n); for ( i=0; i<n; i++ ) { if ( is_method(m[i], INDEXING_PINKINDEXER) ) { |