From f701a1427a4473f0e9196edbb5e987a699a0333f Mon Sep 17 00:00:00 2001
From: Yury Delendik <ydelendik@mozilla.com>
Date: Mon, 16 Apr 2012 15:23:24 -0500
Subject: [PATCH] Remove operatorList cache from the backend

---
 src/core.js   | 8 +-------
 web/viewer.js | 8 ++++++--
 2 files changed, 7 insertions(+), 9 deletions(-)

diff --git a/src/core.js b/src/core.js
index 41f9a9c61..cbd2abf8d 100644
--- a/src/core.js
+++ b/src/core.js
@@ -132,11 +132,6 @@ var Page = (function PageClosure() {
     },
 
     getOperatorList: function Page_getOperatorList(handler, dependency) {
-      if (this.operatorList) {
-        // content was compiled
-        return this.operatorList;
-      }
-
       var xref = this.xref;
       var content = this.content;
       var resources = this.resources;
@@ -154,8 +149,7 @@ var Page = (function PageClosure() {
       var pe = this.pe = new PartialEvaluator(
                                 xref, handler, 'p' + this.pageNumber + '_');
 
-      this.operatorList = pe.getOperatorList(content, resources, dependency);
-      return this.operatorList;
+      return pe.getOperatorList(content, resources, dependency);
     },
 
     getLinks: function Page_getLinks() {
diff --git a/web/viewer.js b/web/viewer.js
index a25a2a3ce..3233371cc 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -32,7 +32,7 @@ var Cache = function cacheCache(size) {
       data.splice(i);
     data.push(view);
     if (data.length > size)
-      data.shift().update();
+      data.shift().destroy();
   };
 };
 
@@ -743,6 +743,11 @@ var PageView = function pageView(container, pdfPage, id, scale,
   container.appendChild(anchor);
   container.appendChild(div);
 
+  this.destroy = function pageViewDestroy() {
+    this.update();
+    this.pdfPage.destroy();
+  };
+
   this.update = function pageViewUpdate(scale) {
     this.scale = scale || this.scale;
     var viewport = this.pdfPage.getViewport(this.scale);
@@ -756,7 +761,6 @@ var PageView = function pageView(container, pdfPage, id, scale,
     div.removeAttribute('data-loaded');
 
     delete this.canvas;
-    this.pdfPage.destroy();
 
     this.loadingIconDiv = document.createElement('div');
     this.loadingIconDiv.className = 'loadingIcon';