EchoScript : app.py: sources=[upload, microphone] added to the gr.Audio component. Gradio renders this as a tabbed widget: one tab for file upload (drag-and-drop or browse), one tab with a record button for the microphone. Added format=wav so microphone recordings are always saved as wav regardless of browser - this ensures a consistent, known extension that passes through validate_extension without any additional handling.No changes needed to services/audio.py - .wav was already in SUPPORTED_EXTENSIONS from day one, so microphone recordings go through exactly the same validation and transcription path as uploaded files. The time-window fields also work with microphone recordings, so you can record a long clip and transcribe only a specific portion if needed. d940cee
usertea commited on