From 3c2e97fd200ba3ff7b9745272b50b2b2472b597c Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Mon, 14 May 2001 14:41:14 +0000
Subject: [PATCH] check if session id is null before trying to return it as
 ESString

---
 src/helma/framework/core/ESUser.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/helma/framework/core/ESUser.java b/src/helma/framework/core/ESUser.java
index c1b5e6e3..c36a1bc1 100644
--- a/src/helma/framework/core/ESUser.java
+++ b/src/helma/framework/core/ESUser.java
@@ -47,7 +47,10 @@ public class ESUser extends ESNode {
 	        return new ESString (user.uid);
 	}
 	if ("sessionID".equals (propname)) {
-	    return new ESString (user.getSessionID ());
+	    if (user == null || user.getSessionID () == null)
+	        return ESNull.theNull;
+	    else
+	        return new ESString (user.getSessionID ());
 	}
 	return super.getProperty (propname, hash);
     }