Spaces:
Runtime error
Runtime error
add update scheduler
Browse files
app.py
CHANGED
|
@@ -29,7 +29,7 @@ ANNOTATED = 'Аннотации'
|
|
| 29 |
NUMBER_ANNOTATED = 'Всего аннотаций'
|
| 30 |
PENDING = 'Незавершенные'
|
| 31 |
|
| 32 |
-
NUMBER_ANNOTATORS =
|
| 33 |
NAME = 'Имя пользователя'
|
| 34 |
NUMBER_ANNOTATIONS = 'Количество аннотаций'
|
| 35 |
|
|
@@ -276,6 +276,10 @@ def get_top(N = 10) -> pd.DataFrame:
|
|
| 276 |
|
| 277 |
def main() -> None:
|
| 278 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 279 |
# Connect to the space with rg.init()
|
| 280 |
rg.init(
|
| 281 |
api_url=os.getenv("ARGILLA_API_URL"),
|
|
|
|
| 29 |
NUMBER_ANNOTATED = 'Всего аннотаций'
|
| 30 |
PENDING = 'Незавершенные'
|
| 31 |
|
| 32 |
+
NUMBER_ANNOTATORS = 'Количество аннотаторов'
|
| 33 |
NAME = 'Имя пользователя'
|
| 34 |
NUMBER_ANNOTATIONS = 'Количество аннотаций'
|
| 35 |
|
|
|
|
| 276 |
|
| 277 |
def main() -> None:
|
| 278 |
|
| 279 |
+
# Set the update interval
|
| 280 |
+
update_interval = 300 # seconds
|
| 281 |
+
update_interval_charts = 30 # seconds
|
| 282 |
+
|
| 283 |
# Connect to the space with rg.init()
|
| 284 |
rg.init(
|
| 285 |
api_url=os.getenv("ARGILLA_API_URL"),
|