Fixed the session clean-up by work-around for Gradio bug #12159 (https://github.com/gradio-app/gradio/issues/12159). 46a3236 verified dreibh commited on Nov 11, 2025
Using GNU-variant of getopt() for better compatibility. f5eba85 verified dreibh commited on Oct 30, 2025