Update app.py

app.py

@@ -248,7 +248,7 @@ def clean_and_convert_html(html_content, url):
                 tex = annotation.get_text().strip()
                 
         if tex:
-            # 【バグ修正】貪欲正規表現を廃止し、括弧のDepthネストカウントによって安全に最外周の \displaystyle のみを除去
+            # 括弧のDepthネストカウントによって安全に最外周の \displaystyle のみを除去
             if tex.startswith(r'{\displaystyle') and tex.endswith('}'):
                 depth = 0
                 is_pure_envelope = True
@@ -692,8 +692,12 @@ with gr.Blocks(title="Wikinium-Maker Engine") as demo:
     gr.Markdown("### 📈 Dynamic Languages Tracking Performance Matrix")
     table_output = gr.HTML()
     
-    # 互換性と高い堅牢性を担保するため、demo.loadのevery引数を用いた組み込み更新処理に一本化
-    demo.load(fn=get_ui_data, outputs=[total_box, queue_box, commit_box, table_output], every=2.0)
+    # 初回起動時のデータ読み込み処理
+    demo.load(fn=get_ui_data, outputs=[total_box, queue_box, commit_box, table_output])
+    
+    # 2秒ごとの定周期自動リフレッシュ処理のためのタイマーを設定
+    timer = gr.Timer(2.0)
+    timer.tick(fn=get_ui_data, outputs=[total_box, queue_box, commit_box, table_output])
 
 if __name__ == "__main__":
     # every引数によるWeb UIの定周期自動リフレッシュを完全に動作させるため、明示的に queue() をチェーンさせて起動