diff options
author | Robin Watts <robin.watts@artifex.com> | 2016-09-16 16:34:36 +0100 |
---|---|---|
committer | Robin Watts <robin.watts@artifex.com> | 2016-09-16 17:29:05 +0100 |
commit | 1d2dfa7eb1cb98cc546d92818e4189a3760cc6c8 (patch) | |
tree | 64cff8f1ccd6079de3051a1ed1791c1adbe87647 /platform | |
parent | 28b71d67a22414330a10275937ef9f6d5ad6bb49 (diff) | |
download | mupdf-1d2dfa7eb1cb98cc546d92818e4189a3760cc6c8.tar.xz |
Call Memento_fin in java Document_destroy().
As reasonable a place to call it as we can hope for. If we
ever have 2 documents open and we close 1 then it will dump
more blocks than we like, but when we get to that stage we
can worry about it then.
Diffstat (limited to 'platform')
-rw-r--r-- | platform/java/mupdf_native.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/platform/java/mupdf_native.c b/platform/java/mupdf_native.c index 5723f4de..4cde7807 100644 --- a/platform/java/mupdf_native.c +++ b/platform/java/mupdf_native.c @@ -3845,6 +3845,9 @@ FUN(Document_finalize)(JNIEnv *env, jobject self) if (!ctx || !doc) return; fz_drop_document(ctx, doc); + + /* This is a reasonable place to call Memento. */ + Memento_fin(); } JNIEXPORT jlong JNICALL |