* This should be called whenever a {@link ScriptSession} is destroyed
* @param scriptSession The newly destroyed ScriptSession
*/
protected void fireScriptSessionDestroyedEvent(ScriptSession scriptSession)
{
ScriptSessionEvent ev = null;
for (int i = scriptSessionListeners.size() - 1; i >= 0; i--)
{
if (ev == null)
{
ev = new ScriptSessionEvent(scriptSession);
}
scriptSessionListeners.get(i).sessionDestroyed(ev);
}
}