From 4737e1ad8ddb3995d673ae8e3f3f67d5d3020c94 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Sun, 10 Aug 2014 16:50:21 +0200
Subject: [PATCH] Remove old unused code from PDFView.close()

---
 web/viewer.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/web/viewer.js b/web/viewer.js
index 1bf69e0c4..7ba24503a 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -612,10 +612,6 @@ var PDFView = {
       thumbsView.removeChild(thumbsView.lastChild);
     }
 
-    if ('_loadingInterval' in thumbsView) {
-      clearInterval(thumbsView._loadingInterval);
-    }
-
     var container = document.getElementById('viewer');
     while (container.hasChildNodes()) {
       container.removeChild(container.lastChild);