48 lines
1.3 KiB
Plaintext
48 lines
1.3 KiB
Plaintext
---
|
|
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? */
|