# HG changeset patch
# User robcast
# Date 1292496054 -3600
# Node ID c95f4e6077f4677d951e1aa625c4cd8ecc567c1f
# Parent  795f1abed41b93726505f7b7731e74616742f7f9
better string handling

diff -r 795f1abed41b -r c95f4e6077f4 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;