Merge commit '1d5d28d' into cg_merges_20131023a

miner.c

@@ -1926,6 +1926,9 @@ static char *parse_config(json_t *config, bool fileconf)
 		/* We don't handle subtables. */
 		assert(!(opt->type & OPT_SUBTABLE));
 
+		if (!opt->names)
+			continue;
+
 		/* Pull apart the option name(s). */
 		name = strdup(opt->names);
 		for (p = strtok_r(name, "|", &sp); p; p = strtok_r(NULL, "|", &sp)) {