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

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

..

BUILD.yaml

[supervisor] Move out of the Theia folder

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

control_grpc.pb.go

Update generated code

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

control.pb.go

fix #3162: decouple gp env from theia

2021-03-29 16:10:34 +02:00

go.mod

Update go dependencies

2021-06-15 09:45:54 -04:00

go.sum

Update go dependencies

2021-06-15 09:45:54 -04:00

info_grpc.pb.go

Update generated code

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

info.pb.go

fix #3162: decouple gp env from theia

2021-03-29 16:10:34 +02:00

info.pb.gw.go

[supervisor] Provide the PID of terminal processes

2021-01-15 14:11:21 +01:00

notification_grpc.pb.go

Update generated code

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

notification.pb.go

fix #3162: decouple gp env from theia

2021-03-29 16:10:34 +02:00

notification.pb.gw.go

[supervisor] fixed HTTP actions in notification

2021-03-27 09:47:44 +01:00

port_grpc.pb.go

[supervisor] support tunneled ports

2021-05-20 09:49:33 +02:00

port.pb.go

[supervisor] support tunneled ports

2021-05-20 09:49:33 +02:00

port.pb.gw.go

[supervisor] support tunneled ports

2021-05-20 09:49:33 +02:00

status_grpc.pb.go

Update generated code

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

status.pb.go

[supervisor] support tunneled ports

2021-05-20 09:49:33 +02:00

status.pb.gw.go

[supervisor] Provide the PID of terminal processes

2021-01-15 14:11:21 +01: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

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

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

terminal.pb.gw.go

[supervisor] terminal API enhancements

2021-01-28 09:33:09 +01:00

token_grpc.pb.go

Update generated code

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

token.pb.go

fix #3162: decouple gp env from theia

2021-03-29 16:10:34 +02:00

token.pb.gw.go

[supervisor] Provide the PID of terminal processes

2021-01-15 14:11:21 +01:00