diff options
Diffstat (limited to 'support/docker/dev/janitor.json')
-rw-r--r-- | support/docker/dev/janitor.json | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/support/docker/dev/janitor.json b/support/docker/dev/janitor.json index 4051e8bcd..5acdf3060 100644 --- a/support/docker/dev/janitor.json +++ b/support/docker/dev/janitor.json | |||
@@ -23,6 +23,10 @@ | |||
23 | "label": "Cloud9", | 23 | "label": "Cloud9", |
24 | "proxy": "https" | 24 | "proxy": "https" |
25 | }, | 25 | }, |
26 | "8090": { | ||
27 | "label": "Theia", | ||
28 | "proxy": "https" | ||
29 | }, | ||
26 | "9000": { | 30 | "9000": { |
27 | "label": "PeerTube API", | 31 | "label": "PeerTube API", |
28 | "proxy": "https" | 32 | "proxy": "https" |