12 Commits

Author	SHA1	Message	Date
Manuel Alejandro de Brito Fontes	526c95e344	Decouple ws-proxy from ws-manager	2021-11-05 10:33:03 +01:00
Cornelius A. Ludmann	8ef75abd27	[ws-proxy] Rename theiaRouter to ideRouter	2021-06-28 14:19:47 +02:00
Alex Tugarev	70097b6d82	[ws-proxy] make https default and redirect http	2021-05-04 11:40:11 +02:00
Manuel Alejandro de Brito Fontes	2b6a56bc40	Update go imports	2021-03-02 06:37:49 -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	ff1ee29613	[ws-proxy] Serve port-not-found page when port isn't answering	2020-11-20 08:51:57 +01:00
Christian Weichel	3794dc8205	[ws-proxy] Consolidate workspace routes	2020-11-04 12:54:15 +01:00
Anton Kosyakov	70d2aa85fe	fix #1984: blobserve caching across workspaces	2020-10-14 15:51:26 +02:00
Anton Kosyakov	1a1730847c	support integration of the supervisor frontend into the IDE top window	2020-10-10 14:09:04 +02:00
Christian Weichel	9ca988e67b	[ws-proxy] Support supervisor API in ws-proxy	2020-09-07 09:50:32 +02:00
Christian Weichel	6cb7b610d2	[ws-proxy] Proxy pass static IDE assets from registry-facade's blobserve ... /werft https /werft ws-feature-flags=registry_facade	2020-09-04 14:12:06 +02:00
gitpod-init	24f7b609bf	initial commit	2020-08-25 09:25:15 +00:00