Update polling intervals in watchHistory, entryPointStore, and notifi…

…cationsStore

client/src/store/historyStore/model/watchHistory.js

@@ -19,15 +19,18 @@ import { useDatasetStore } from "@/stores/datasetStore";
 
 const limit = 1000;
 
+const ACTIVE_POLLING_INTERVAL = 3000;
+const INACTIVE_POLLING_INTERVAL = 60000;
+
 // last time the history has changed
 let lastUpdateTime = null;
 
 // last time changed history items have been requested
 let lastRequestDate = new Date();
 
 const { startWatchingResource: startWatchingHistory } = useResourceWatcher(watchHistory, {
-    shortPollingInterval: 3000,
-    longPollingInterval: 60000,
+    shortPollingInterval: ACTIVE_POLLING_INTERVAL,
+    longPollingInterval: INACTIVE_POLLING_INTERVAL,
 });
 
 export { startWatchingHistory };

client/src/stores/entryPointStore.ts

@@ -7,6 +7,8 @@ import { useResourceWatcher } from "@/composables/resourceWatcher";
 import { getAppRoot } from "@/onload/loadConfig";
 import { rethrowSimple } from "@/utils/simple-error";
 
+const ACTIVE_POLLING_INTERVAL = 10000;
+
 // TODO: replace with the corresponding autogenerated model when ready
 interface EntryPoint {
     model_class: "InteractiveToolEntryPoint";
@@ -22,8 +24,8 @@ interface EntryPoint {
 
 export const useEntryPointStore = defineStore("entryPointStore", () => {
     const { startWatchingResource: startWatchingEntryPoints } = useResourceWatcher(fetchEntryPoints, {
-        shortPollingInterval: 10000,
-        enableBackgroundPolling: false, //No need to poll when the user is not on the page
+        shortPollingInterval: ACTIVE_POLLING_INTERVAL,
+        enableBackgroundPolling: false, // No need to poll in the background
     });
 
     const entryPoints = ref<EntryPoint[]>([]);

client/src/stores/notificationsStore.ts

@@ -12,10 +12,13 @@ import { mergeObjectListsById } from "@/utils/utils";
 
 import { useBroadcastsStore } from "./broadcastsStore";
 
+const ACTIVE_POLLING_INTERVAL = 5000;
+const INACTIVE_POLLING_INTERVAL = 30000;
+
 export const useNotificationsStore = defineStore("notificationsStore", () => {
     const { startWatchingResource: startWatchingNotifications } = useResourceWatcher(getNotificationStatus, {
-        shortPollingInterval: 5000,
-        longPollingInterval: 30000,
+        shortPollingInterval: ACTIVE_POLLING_INTERVAL,
+        longPollingInterval: INACTIVE_POLLING_INTERVAL,
     });
     const broadcastsStore = useBroadcastsStore();