/// Sends a session expiration event to the script /// instance that was triggered as a result of an incoming /// HTTP request. /// The routing GUID of the script instance. [Event(IHttp.EVENT_SESSION_EXPIRED, eventTypeType.nontriggering, null, "HTTP Session Expired", "Fired when an HTTP session expires.")] public void SendExpiredSessionEvent(string sessionKey) { if(sessionKey == null) return; EventMessage sessionExpiredMsg = CreateEventMessage(IHttp.EVENT_SESSION_EXPIRED, EventMessage.EventType.NonTriggering, sessionKey); sessionExpiredMsg.SuppressNoHandler = true; palWriter.PostMessage(sessionExpiredMsg); }