# HG changeset patch
# User robcast
# Date 1292496054 -3600
# Node ID 1d5609ae23357e13b35ba79eafb1c15e066a0a7a
# Parent  d3b29ccdef32f6aa1ec71c324fd189098ffacd9f
better string handling

diff -r d3b29ccdef32 -r 1d5609ae2335 servlet/src/digilib/servlet/Parameter.java
--- a/servlet/src/digilib/servlet/Parameter.java	Wed Dec 15 10:52:56 2010 +0100
+++ b/servlet/src/digilib/servlet/Parameter.java	Thu Dec 16 11:40:54 2010 +0100
@@ -97,6 +97,9 @@
 	 * @return
 	 */
 	public boolean setValueFromString(String val) {
+		if (val == null) {
+			val = "";
+		}
 		// no default matches all
 		if (defval == null) {
 			this.value = val;