diff options
| author | wl <wl> | 2006-04-26 07:16:36 +0000 |
|---|---|---|
| committer | wl <wl> | 2006-04-26 07:16:36 +0000 |
| commit | cf3ec9f52d60771ec212fd3b367d61fae0cb5556 (patch) | |
| tree | 648846964fa12b47d31c7145963c1192688aaf6b /src/devices | |
| parent | e7fe5f0f9873e3148b78bb1aae3551f2d6722833 (diff) | |
| download | groff-cf3ec9f52d60771ec212fd3b367d61fae0cb5556.tar.gz | |
* src/devices/grohtml/post-html.cpp (html_printer::~html_printer):
Handle current_paragraph only if it is non-NULL.
Diffstat (limited to 'src/devices')
| -rw-r--r-- | src/devices/grohtml/post-html.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/devices/grohtml/post-html.cpp b/src/devices/grohtml/post-html.cpp index 3b5ee28a..05b20d35 100644 --- a/src/devices/grohtml/post-html.cpp +++ b/src/devices/grohtml/post-html.cpp @@ -4932,7 +4932,8 @@ html_printer::~html_printer() time_t t; #endif - current_paragraph->flush_text(); + if (current_paragraph) + current_paragraph->flush_text(); html.end_line(); html.set_file(stdout); html.begin_comment("Creator : ") |