if (!other_browser_cmd_seen && strlen(get_other_browser_cmd()) > 0)
fprintf(tmpfp, "%s = \"%s\"\n",
"other_browser_cmd", get_other_browser_cmd());
if (!other_browser_cmd_seen && strlen(get_other_browser_cmd()) > 0)
fprintf(tmpfp, "%s = \"%s\"\n",
"other_browser_cmd", get_other_browser_cmd());