From bd7985a83bbae5ef54e2a12123d091b5a6e77f1a Mon Sep 17 00:00:00 2001
From: Yury Delendik <ydelendik@mozilla.com>
Date: Tue, 19 Nov 2013 17:08:36 -0600
Subject: [PATCH] Fixes cleaning up of the rendered pages

---
 web/page_view.js | 6 +-----
 web/viewer.js    | 5 +++--
 2 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/web/page_view.js b/web/page_view.js
index 9b1cf116e..6b88a8f15 100644
--- a/web/page_view.js
+++ b/web/page_view.js
@@ -67,16 +67,12 @@ var PageView = function pageView(container, id, scale,
     }
   };
 
-  this.resetRenderingState = function  pageViewResetRenderingState() {
+  this.reset = function pageViewReset() {
     if (this.renderTask) {
       this.renderTask.cancel();
     }
     this.resume = null;
     this.renderingState = RenderingStates.INITIAL;
-  };
-
-  this.reset = function pageViewReset() {
-    this.resetRenderingState();
 
     div.style.width = Math.floor(this.viewport.width) + 'px';
     div.style.height = Math.floor(this.viewport.height) + 'px';
diff --git a/web/viewer.js b/web/viewer.js
index ff98f28da..fa283d07c 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -1065,8 +1065,9 @@ var PDFView = {
 
   cleanup: function pdfViewCleanup() {
     for (var i = 0, ii = this.pages.length; i < ii; i++) {
-      if (this.pages[i]) {
-        this.pages[i].resetRenderingState();
+      if (this.pages[i] &&
+          this.pages[i].renderingState !== RenderingStates.FINISHED) {
+        this.pages[i].reset();
       }
     }
     this.pdfDocument.cleanup();