Update app.py
Browse files
app.py
CHANGED
|
@@ -28,7 +28,7 @@ in_space = os.getenv("SYSTEM") == "spaces"
|
|
| 28 |
|
| 29 |
#==========================================================================================================
|
| 30 |
|
| 31 |
-
def
|
| 32 |
print('=' * 70)
|
| 33 |
print('Req start time: {:%Y-%m-%d %H:%M:%S}'.format(datetime.datetime.now(PDT)))
|
| 34 |
start_time = time.time()
|
|
@@ -167,7 +167,7 @@ if __name__ == "__main__":
|
|
| 167 |
output_midi_lyric = gr.Textbox(label="Output Karaoke MIDI lyric")
|
| 168 |
output_midi = gr.File(label="Output MIDI file", file_types=[".mid"])
|
| 169 |
|
| 170 |
-
run_event = submit.click(
|
| 171 |
[output_midi_md5, output_midi_title, output_midi_lyric, output_midi_summary, output_midi, output_audio, output_plot])
|
| 172 |
|
| 173 |
app.queue(1).launch(server_port=opt.port, share=opt.share, inbrowser=True)
|
|
|
|
| 28 |
|
| 29 |
#==========================================================================================================
|
| 30 |
|
| 31 |
+
def render_midi(search_string, render_options):
|
| 32 |
print('=' * 70)
|
| 33 |
print('Req start time: {:%Y-%m-%d %H:%M:%S}'.format(datetime.datetime.now(PDT)))
|
| 34 |
start_time = time.time()
|
|
|
|
| 167 |
output_midi_lyric = gr.Textbox(label="Output Karaoke MIDI lyric")
|
| 168 |
output_midi = gr.File(label="Output MIDI file", file_types=[".mid"])
|
| 169 |
|
| 170 |
+
run_event = submit.click(render_midi_midi, [input_midi, render_options],
|
| 171 |
[output_midi_md5, output_midi_title, output_midi_lyric, output_midi_summary, output_midi, output_audio, output_plot])
|
| 172 |
|
| 173 |
app.queue(1).launch(server_port=opt.port, share=opt.share, inbrowser=True)
|