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")
         | 
