No Audio file generated with Gradio when source is mic

Beginners
1

Hello, the following code (Gradio) does not generate an audio file.

demo = gr.Interface(
    fn=process,
    inputs=gr.Audio(source="microphone",type="filepath"),
    outputs="text")

The “upload” source option works just fine.

Please advise.

Thanks.