*/
static const int ready_timeout = 1500;
+#if defined(DUMP_LAUNCHERS)
/*
* dump all the known launchers to the 'file'
*/
fprintf(file, "\n");
}
}
+#endif
/*
* update 'cread' to point the the next token
for (dl = launchers ; dl ; dl = dl->next)
if (dl->mode == mode)
for (tl = dl->types ; tl != NULL ; tl = tl->next)
- if (!strcmp(tl->type, type))
+ if (!strcasecmp(tl->type, type))
return dl;
return NULL;
}
/* reads the configuration file */
rc = read_configuration_file(FWK_LAUNCH_CONF);
- /* dump_launchers(stderr); */
+#if defined(DUMP_LAUNCHERS)
+ if (!rc)
+ dump_launchers(stderr);
+#endif
return rc;
}