15 Commits

Author	SHA1	Message	Date
Anton Kosyakov	57b7b7cfb6	[supervisor] allow retry auto exposing port	2021-06-23 11:43:24 +05:00
Anton Kosyakov	f7b2e37cbd	[supervisor] support tunneled ports	2021-05-20 09:49:33 +02:00
Anton Kosyakov	4ebbcc1d62	fix #3162: decouple gp env from theia	2021-03-29 16:10:34 +02:00
Manuel Alejandro de Brito Fontes	6c360cdd79	Update supervisor	2021-03-12 12:54:40 -03:00
Christian Weichel	b7dda84ad0	[license] Update license header from TypeFox GmbH to Gitpod GmbH	2021-01-04 15:12:02 +01:00
Christian Weichel	fa8ddb2894	[supervisor-api] Move ports from an incremental to a full update API	2020-11-25 15:59:36 +01:00
Christian Weichel	79c8ad5191	[supervisor-api] Correct path for TasksStatus	2020-11-24 09:59:57 +01:00
Christian Weichel	caefb5f149	[supervisor-api] Move to latest grpc-gateway	2020-11-24 09:59:57 +01:00
Anton Kosyakov	49b95bf029	[supervisor] incremental port updates	2020-11-04 05:50:23 +01:00
Anton Kosyakov	94981bd214	[theia] move port handling to the supervisor	2020-11-04 05:50:23 +01:00
Christian Weichel	1afe83d3b3	[supervisor] Provide holistic port view ... including exposed ports, not just the served ones. Also, auto-expose newly served ports.	2020-11-04 05:50:23 +01:00
Anton Kosyakov	75b97c7a6d	[supervisor] tasks support	2020-10-14 11:14:31 +02:00
Christian Weichel	0e0bd79918	[supervisor] Add missing license header	2020-09-18 12:32:09 +02:00
Christian Weichel	49cd3880c3	[supvisor] Implement IDE readiness probe ... and make /_supervisor/v1/status/ide useful	2020-09-11 14:32:45 +02:00
Christian Weichel	1def8c0883	[supervisor] Add port status and localhost proxy support	2020-09-09 15:08:24 +02:00