From 9fdcecd9ff2c9e66802d41e4e6a3824ade7d8b37 Mon Sep 17 00:00:00 2001
From: stefanp <helma@helma.org>
Date: Wed, 22 Jan 2003 09:23:17 +0000
Subject: [PATCH] user.onLogout() is passed the id of the session that is
 actually logged out as a parameter.

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

diff --git a/src/helma/framework/core/Application.java b/src/helma/framework/core/Application.java
index fac10a72..63d52d95 100644
--- a/src/helma/framework/core/Application.java
+++ b/src/helma/framework/core/Application.java
@@ -1112,7 +1112,9 @@ public final class Application implements IPathElement, Runnable {
 	                NodeHandle userhandle = session.userHandle;
 	                if (userhandle != null) {
 	                    try {
-	                        eval.invokeFunction (userhandle, "onLogout", new Object[0]);
+	                        String[] str = new String [1];
+	                        str[0] = session.getSessionID ();
+	                        eval.invokeFunction (userhandle, "onLogout", str);
 	                    } catch (Exception ignore) {}
 	                }
 	                destroySession(session);