increase windows stream ping interval (#3317)

2024-08-08 07:45:42 +10:00
parent 9dc7ff9797
commit acfc2b47fa
1 changed files with 1 additions and 1 deletions
--- 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