2014-04-08 15:02:52 +02:00
|
|
|
---
|
|
|
|
src/man.c | 10 ++++++----
|
|
|
|
1 file changed, 6 insertions(+), 4 deletions(-)
|
|
|
|
|
|
|
|
diff --git src/man.c src/man.c
|
|
|
|
index 10bcd4f..5c164ad 100644
|
2010-05-03 23:01:53 +02:00
|
|
|
--- src/man.c
|
2014-04-08 15:02:52 +02:00
|
|
|
+++ src/man.c
|
|
|
|
@@ -2316,22 +2316,24 @@ static void format_display (pipeline *decomp,
|
2007-07-18 22:01:45 +02:00
|
|
|
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 */
|
2012-10-02 19:06:04 +02:00
|
|
|
if (remove_directory (htmldir, 0) == -1)
|
2007-07-18 22:01:45 +02:00
|
|
|
error (0, errno, _("can't remove directory %s"),
|
|
|
|
htmldir);
|
|
|
|
free (htmlfile);
|
|
|
|
free (htmldir);
|
2014-04-08 15:02:52 +02:00
|
|
|
free (old_cwd);
|
2007-07-18 22:01:45 +02:00
|
|
|
+ if (!candidate)
|
|
|
|
+ error (CHILD_FAIL, 0,
|
|
|
|
+ "couldn't execute any browser from %s",
|
|
|
|
+ html_pager);
|
|
|
|
} else
|
|
|
|
#endif /* TROFF_IS_GROFF */
|
2009-12-14 00:07:51 +01:00
|
|
|
/* TODO: check format_cmd status too? */
|
2014-04-08 15:02:52 +02:00
|
|
|
--
|
|
|
|
1.8.4.5
|
|
|
|
|