How to monkeypatch the streamlit server to create a log out button

[Michael5]

This user, Matt_N, said they were able to monkeypatch the streamlit server to create a log out button for Streamlit when using Cognito by deleting the AWSELBAuthSessionCookie cookie

AWS Cognito logout

I ended up following the approach in this comment to monkeypatch the streamlit server, adding a logout request handler to delete the AWS session cookie. A user clicks a logout button which sends a GET request to the Cognito logout endpoint (which ends the user session from the auth server side) with a logout_uri arg pointing to my streamlit app’s new logout route to delete the cookie. Without the last step, subsequent requests to the ALB see the cookie and pass through authentication until the s…

Has anyone else done this that could provide more detail? I am very new to the concept of “monkeypatching”.

Ideally, streamlit would just support this natively but it seems like there are no plans for that

[dataprofessor]

Hi @Michael5

Further information on monkey patching is covered below:

What is monkey patching?

And if you’re looking for authentication which includes log-in and log-out, there’s a third-party component that allows you to do that (streamlit-authenticator):

GitHub - mkhorasani/Streamlit-Authenticator: A secure authentication module...

Streamlit-Authenticator, Part 1: Adding an authentication component to your app