Update app.py

Dynamic populate db_chooser

app.py

@@ -45,6 +45,14 @@ speak_file = dataDir + "speek.wav"
 
 abbrevs = {'St. ' : 'Saint ', 'Mr. ': 'mister ', 'Mrs. ':'mussus ', 'Mr. ':'mister ', 'Ms. ':'mizz '}
 
+def load_chooser():
+    db_paths = glob(dataDir + '*.db')
+    db_list = []
+    for path in db_paths:
+        db_list.append(os.path.basename(path))
+    return [gr.Timer(active=False), gr.Dropdown(choices=db_list)]
+
+
 # def load_db(dropDown):
 #     db_paths = glob(dataDir + '*.db')
 #     db_list = []
@@ -632,6 +640,7 @@ with gr.Blocks(theme=gr.themes.Soft()) as demo:
 
     gr.Markdown('# MTOI Search')
     gr.Markdown('Enter user name & password.  Tap "Help & Hints" button for more instructions.')
+    timer = gr.Timer(value=2.0, active=True)
     with gr.Row():
         user_window = gr.Textbox(label = "User Name")
         user_window.blur(fn=update_user, inputs=user_window, outputs=[user, user_window])
@@ -679,9 +688,7 @@ with gr.Blocks(theme=gr.themes.Soft()) as demo:
                           outputs = [file_browser_visibility, db_file])
     db_file.upload(fn=write_db_file, inputs=[db_file], outputs=[output_window])
     db_chooser.input(fn=set_db,inputs= [db_chooser], outputs= [selected_db])
-    # start_date.change(fn=fix_date, inputs=[start_date], outputs=[start_date])
-    # end_date.change(fn=fix_date, inputs=[end_date], outputs=[end_date])
-    # demo.load(fn=load_db,inputs=[db_chooser],outputs=[db_chooser])
+    timer.tick(fn=load_chooser, inputs=[],outputs=[timer, db_chooser])
 
 demo.launch(share=True, allowed_paths=[dataDir], ssr_mode=False)