From acfc2b47fa18d3457dad6fd735a6c40505e7762a Mon Sep 17 00:00:00 2001 From: Kurt Hutten Date: Thu, 8 Aug 2024 07:45:42 +1000 Subject: [PATCH] increase windows stream ping interval (#3317) --- src/lang/std/engineConnection.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lang/std/engineConnection.ts b/src/lang/std/engineConnection.ts index 75f92f99d..49cbd429a 100644 --- a/src/lang/std/engineConnection.ts +++ b/src/lang/std/engineConnection.ts @@ -18,7 +18,7 @@ import toast from 'react-hot-toast' import { SettingsViaQueryString } from 'lib/settings/settingsTypes' // TODO(paultag): This ought to be tweakable. -const pingIntervalMs = 1000 +const pingIntervalMs = 5_000 function isHighlightSetEntity_type( data: any