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 9 days ago
Using GNU-variant of getopt() for better compatibility. f5eba85 verified dreibh commited on 21 days ago