# HG changeset patch
# User robcast
# Date 1097522204 -7200
# Node ID 7ff9b9b0c16a606d51b08729705ac9ab1595dbb0
# Parent  95da3e44fdb94e2dafee19c55912225d6132dc98
small fix for NPE

diff -r 95da3e44fdb9 -r 7ff9b9b0c16a servlet/src/digilib/image/ImageLoaderDocuImage.java
--- a/servlet/src/digilib/image/ImageLoaderDocuImage.java	Wed Aug 25 01:07:39 2004 +0200
+++ b/servlet/src/digilib/image/ImageLoaderDocuImage.java	Mon Oct 11 21:16:44 2004 +0200
@@ -467,8 +467,10 @@
 	public void dispose() {
 		// we must dispose the ImageReader because it keeps the filehandle
 		// open!
-		reader.dispose();
-		reader = null;
+		if (reader != null) {
+			reader.dispose();
+			reader = null;
+		}
 		img = null;
 	}