# HG changeset patch # User robcast # Date 1129136981 -7200 # Node ID 7958035abec110f0876fcb5df40d083ebfe365ca # Parent 25095f85ba7cbe5c244f1418b373082e7481f1cf Servlet version 1.5.9d - fixed a bug reading metadata diff -r 25095f85ba7c -r 7958035abec1 servlet/src/digilib/io/ImageFileset.java --- a/servlet/src/digilib/io/ImageFileset.java Tue Sep 27 19:37:28 2005 +0200 +++ b/servlet/src/digilib/io/ImageFileset.java Wed Oct 12 19:09:41 2005 +0200 @@ -308,15 +308,16 @@ gp.checkMeta(); if (gp.getDirMeta() != null) { fileMeta = gp.getDirMeta(); - } else { - // no metadata available - metaChecked = true; - return; } } } } } + if (fileMeta == null) { + // no metadata available + metaChecked = true; + return; + } metaChecked = true; String s; float dpi = 0; diff -r 25095f85ba7c -r 7958035abec1 servlet/src/digilib/servlet/Scaler.java --- a/servlet/src/digilib/servlet/Scaler.java Tue Sep 27 19:37:28 2005 +0200 +++ b/servlet/src/digilib/servlet/Scaler.java Wed Oct 12 19:09:41 2005 +0200 @@ -59,7 +59,7 @@ private static final long serialVersionUID = -325080527268912852L; /** digilib servlet version (for all components) */ - public static final String dlVersion = "1.5.9c"; + public static final String dlVersion = "1.5.9d"; /** logger for accounting requests */ private static Logger accountlog = Logger.getLogger("account.request");