gitpod

mirror of https://github.com/gitpod-io/gitpod.git synced 2025-12-08 17:36:30 +00:00

History

Filip Troníček 8e8a5db974

[PAPI] Retry steams upon not receiving data for 10 seconds (#20172 )

* [PAPI] Retry steams upon not receiving data for 10 seconds

* [PAPI] Retry steams upon not receiving data for 10 seconds (#20176)

* debug message

* Do not listen for ws updates globally and do not timeout for those calls

* Timeout signal as a getter

* use ff for disablement

* accesor fn => getter

* send empty initial data in papi for global ws watch requests

---------

Co-authored-by: Gero Posmyk-Leinemann <gero@gitpod.io>

2024-09-06 04:31:49 -04:00

public

Switch license to AGPL

2022-12-08 13:05:19 -03:00

src

[PAPI] Retry steams upon not receiving data for 10 seconds (#20172 )

2024-09-06 04:31:49 -04:00

BUILD.yaml

decouple gitpod-protocol from public-api (#19151 )

2023-11-29 10:36:06 +02:00

config.json

[supervisor-frontend] add version commit