Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -20,6 +20,7 @@ from typing import List, Dict, Any, Set, Optional
|
|
20 |
from dotenv import load_dotenv
|
21 |
from concurrent.futures import ThreadPoolExecutor
|
22 |
from datetime import datetime
|
|
|
23 |
|
24 |
# Configure logging
|
25 |
logging.basicConfig(
|
@@ -829,7 +830,7 @@ def create_gradio_interface() -> gr.Interface:
|
|
829 |
theme=gr.Theme.from_hub("allenai/gradio-theme"),
|
830 |
additional_inputs=[
|
831 |
gr.Slider(
|
832 |
-
minimum=
|
833 |
maximum=30,
|
834 |
value=10,
|
835 |
step=1,
|
|
|
20 |
from dotenv import load_dotenv
|
21 |
from concurrent.futures import ThreadPoolExecutor
|
22 |
from datetime import datetime
|
23 |
+
import re
|
24 |
|
25 |
# Configure logging
|
26 |
logging.basicConfig(
|
|
|
830 |
theme=gr.Theme.from_hub("allenai/gradio-theme"),
|
831 |
additional_inputs=[
|
832 |
gr.Slider(
|
833 |
+
minimum=1,
|
834 |
maximum=30,
|
835 |
value=10,
|
836 |
step=1,
|