Add background scheduler

Please see: https://discord.com/channels/879548962464493619/1221782765528289300

app.py

@@ -17,6 +17,7 @@ It's designed as a template to recreate the dashboard for the prompt translation
 
 To create a new dashboard, you need several environment variables, that you can easily set in the HuggingFace Space that you are using to host the dashboard:
 
+- HF_TOKEN: Token with write access from your Hugging Face account: https://huggingface.co/settings/tokens
 - SOURCE_DATASET: The dataset id of the source dataset
 - SOURCE_WORKSPACE: The workspace id of the source dataset
 - TARGET_RECORDS: The number of records that you have as a target to annotate. We usually set this to 500.
@@ -35,6 +36,12 @@ NUMBER_ANNOTATIONS = 'Number of annotations'
 
 CATEGORY = 'Category'
 
+def restart():
+
+    # Update Space name with your Space information
+    gr.Info("Restarting space...")
+    restart_space("DIBT/TemplateDashboardPromptTranslation", token=HF_TOKEN)
+
 def obtain_source_target_datasets() -> (
     Tuple[
         FeedbackDataset | RemoteFeedbackDataset, FeedbackDataset | RemoteFeedbackDataset
@@ -359,6 +366,11 @@ def main() -> None:
             )
             demo.load(get_top, None, [top_df_plot])
 
+    # Manage background refresh
+    scheduler = BackgroundScheduler()
+    job = scheduler.add_job(restart, "interval", minutes=30)
+    scheduler.start()
+
     # Launch the Gradio interface
     demo.launch()