Pudong Zheng d9955ccc74 Add SSH Gateway to ws-proxy

2022-01-06 17:29:00 +01:00

..

BUILD.yaml

[supervisor] Move out of the Theia folder

2020-09-03 09:37:04 +02:00

control_grpc.pb.go

Add SSH Gateway to ws-proxy

2022-01-06 17:29:00 +01:00

control.pb.go

Add SSH Gateway to ws-proxy

2022-01-06 17:29:00 +01:00

control.pb.gw.go

Add SSH Gateway to ws-proxy

2022-01-06 17:29:00 +01:00

go.mod

Update go dependencies

2021-08-27 12:33:26 -03:00

go.sum

Update go dependencies

2021-08-27 12:33:26 -03:00

info_grpc.pb.go

Update generated code

2021-04-07 07:39:04 -04:00

info.pb.go

Add ExposedPorts message and remove Target and GlobalPort

2021-11-05 10:33:03 +01:00

info.pb.gw.go

Update generated code

2021-08-04 15:49:04 +02:00

notification_grpc.pb.go

Update generated code

2021-04-07 07:39:04 -04:00

notification.pb.go

Add ExposedPorts message and remove Target and GlobalPort

2021-11-05 10:33:03 +01:00

notification.pb.gw.go

Update generated code

2021-08-04 15:49:04 +02:00

port_grpc.pb.go

[supervisor] allow retry auto exposing port

2021-06-23 11:43:24 +05:00

port.pb.go

Add ExposedPorts message and remove Target and GlobalPort

2021-11-05 10:33:03 +01:00

port.pb.gw.go

Update generated code

2021-08-04 15:49:04 +02:00

status_grpc.pb.go

Update generated code

2021-04-07 07:39:04 -04:00

status.pb.go

[supervisor] Provide port Name and Description along with the port status

2021-12-20 18:42:44 +01:00

status.pb.gw.go

Update generated code

2021-08-04 15:49:04 +02:00

terminal_grpc.pb.go

[supervisor] api to set terminal's title and update annotations

2021-06-18 07:11:51 +05:00

terminal.pb.go

Add ExposedPorts message and remove Target and GlobalPort

2021-11-05 10:33:03 +01:00

terminal.pb.gw.go

Update generated code

2021-08-04 15:49:04 +02:00

token_grpc.pb.go

Update generated code

2021-04-07 07:39:04 -04:00

token.pb.go

Add ExposedPorts message and remove Target and GlobalPort

2021-11-05 10:33:03 +01:00

token.pb.gw.go

Update generated code

2021-08-04 15:49:04 +02:00