Skip to content

end_session()

End a session.

end_session(session_id=nothing, release_resources_now=false, release_resources_after=nothing ...)

Description

This function ends the session with the given session ID.

Required Parameters

session_id (String)

Session ID of session to end.

Optional Parameters

failed (Bool)

Indicates whether the session is getting ended because it failed or not. Defaults to false.

You should usually not need to set this value. If you use with_session(), the session will get destroyed when out of scope with the proper status.

Example Usage

end_session("2021-06-10-2240237175e6921d0c69f8a93aaa49ffd30287")