user.onLogout() is passed the id of the session that is actually logged out

as a parameter.
This commit is contained in:
stefanp 2003-01-22 09:23:17 +00:00
parent f5f4db52ca
commit 9fdcecd9ff

View file

@ -1112,7 +1112,9 @@ public final class Application implements IPathElement, Runnable {
NodeHandle userhandle = session.userHandle; NodeHandle userhandle = session.userHandle;
if (userhandle != null) { if (userhandle != null) {
try { 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) {} } catch (Exception ignore) {}
} }
destroySession(session); destroySession(session);