Try to return the produced MIDI

app.py

@@ -129,7 +129,8 @@ def process_midi(MIDI_File, Text_to_Sonify, Randomness, Amount_of_Music_to_Add):
     # use fluidsynth to convert MIDI to WAV so the user can hear the output
     sound_font = "/usr/share/sounds/sf2/FluidR3_GM.sf2"
     FluidSynth(sound_font).midi_to_audio('result.midi', 'result.wav')
-    return 'result.wav'
+    # TODO: if we can personalize the file names, let's do that with the text
+    return 'result.wav', 'result.midi'
 
 midi_file_desc = """Upload your own MIDI file here (try to keep it small without any fun time signatures).
 If you do not have a MIDI file, add some text and we will turn it into music!
@@ -153,7 +154,7 @@ iface = gr.Interface(
         gr.inputs.Slider(0, 250, default=100, step=50),
         gr.inputs.Radio([100, 200, 500], type="value", default=100)
         ], 
-    outputs="audio",
+    outputs=["audio", "file"],
     article=article
     # examples=['C major scale.midi']
 )