diff options
| author | Tor Andersson <tor@ghostscript.com> | 2008-11-12 01:36:32 +0100 |
|---|---|---|
| committer | Tor Andersson <tor@ghostscript.com> | 2008-11-12 01:36:32 +0100 |
| commit | 18a6ab0a89ae0bb383e57705e5bc1fc8cb6d008c (patch) | |
| tree | f1539f3c4d3a84a10b79b963bb2688c78106997a /apps | |
| parent | 9e21764b360db56e4b0877b529565be2b779f976 (diff) | |
| download | mupdf-18a6ab0a89ae0bb383e57705e5bc1fc8cb6d008c.tar.xz | |
Properly drop references to resources after preloading them in the store.
Diffstat (limited to 'apps')
| -rw-r--r-- | apps/pdftool.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/apps/pdftool.c b/apps/pdftool.c index 7318ed7e..5908148b 100644 --- a/apps/pdftool.c +++ b/apps/pdftool.c @@ -578,6 +578,16 @@ drawfreepage(void) { pdf_droppage(drawpage); drawpage = nil; + + /* Flush resources between pages. + * TODO: should check memory usage before deciding to do this. + */ + if (src && src->store) + { + fflush(stderr); + /* pdf_debugstore(src->store); */ + pdf_emptystore(src->store); + } } void |