--- src/man.c | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) --- src/man.c +++ src/man.c 2015-05-28 10:54:07.961519305 +0000 @@ -1847,16 +1847,6 @@ static void format_display (pipeline *de if (!status) break; } - if (!candidate) { - if (html_pager && *html_pager) - error (CHILD_FAIL, 0, - "couldn't execute any browser from %s", - html_pager); - else - error (CHILD_FAIL, 0, - "no browser configured, so cannot show " - "HTML output"); - } free (browser_list); if (have_old_cwd && restore_cwd (&old_cwd) < 0) { error (0, errno, @@ -1864,11 +1854,23 @@ static void format_display (pipeline *de chdir ("/"); } free_cwd (&old_cwd); + if (!status) + sleep(5); /* firefox runs into background to fast */ if (remove_directory (htmldir, 0) == -1) error (0, errno, _("can't remove directory %s"), htmldir); free (htmlfile); free (htmldir); + if (!candidate) { + if (html_pager && *html_pager) + error (CHILD_FAIL, 0, + "couldn't execute any browser from %s", + html_pager); + else + error (CHILD_FAIL, 0, + "no browser configured, so cannot show " + "HTML output"); + } } else #endif /* TROFF_IS_GROFF */ /* TODO: check format_cmd status too? */