--- src/man.c +++ src/man.c 2007-07-18 12:45:24.091833039 +0000 @@ -2031,21 +2031,23 @@ static void format_display (pipeline *de if (!status) break; } - if (!candidate) - error (CHILD_FAIL, 0, - "couldn't execute any browser from %s", - html_pager); free (browser_list); if (chdir (old_cwd) == -1) { error (0, errno, _("can't change to directory %s"), old_cwd); chdir ("/"); } + if (!status) + sleep(5); /* firefox runs into background to fast */ if (remove_directory (htmldir) == -1) error (0, errno, _("can't remove directory %s"), htmldir); free (htmlfile); free (htmldir); + if (!candidate) + error (CHILD_FAIL, 0, + "couldn't execute any browser from %s", + html_pager); } else #endif /* TROFF_IS_GROFF */ /* TODO: check format_cmd status too? */