Update app.py
Browse files
app.py
CHANGED
|
@@ -4,6 +4,7 @@ import os.path
|
|
| 4 |
|
| 5 |
import time
|
| 6 |
import datetime
|
|
|
|
| 7 |
|
| 8 |
import gradio as gr
|
| 9 |
|
|
@@ -123,6 +124,13 @@ def find_midi(search_string, search_options):
|
|
| 123 |
#==========================================================================================================
|
| 124 |
|
| 125 |
if __name__ == "__main__":
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 126 |
parser = argparse.ArgumentParser()
|
| 127 |
parser.add_argument("--share", action="store_true", default=False, help="share gradio app")
|
| 128 |
parser.add_argument("--port", type=int, default=7860, help="gradio server port")
|
|
|
|
| 4 |
|
| 5 |
import time
|
| 6 |
import datetime
|
| 7 |
+
from pytz import timezone
|
| 8 |
|
| 9 |
import gradio as gr
|
| 10 |
|
|
|
|
| 124 |
#==========================================================================================================
|
| 125 |
|
| 126 |
if __name__ == "__main__":
|
| 127 |
+
|
| 128 |
+
PDT = timezone('US/Pacific')
|
| 129 |
+
|
| 130 |
+
print('=' * 70)
|
| 131 |
+
print('App start time: {:%Y-%m-%d %H:%M:%S}'.format(datetime.datetime.now(PDT)))
|
| 132 |
+
print('=' * 70)
|
| 133 |
+
|
| 134 |
parser = argparse.ArgumentParser()
|
| 135 |
parser.add_argument("--share", action="store_true", default=False, help="share gradio app")
|
| 136 |
parser.add_argument("--port", type=int, default=7860, help="gradio server port")
|