Add a ping to the trace server API

eclipse-cdt-cloud / theia-trace-extension

Eclipse Theia trace viewer extension using the Trace Server Protocol (TSP), through the tsp-typescript-client. Also the home for reusable JavaScript libraries: traceviewer-base, traceviewer-react-components

MIT License

49 stars 60 forks source link

Add a ping to the trace server API #70

Closed tahini closed 3 years ago

tahini commented 4 years ago

It should be possible to get the online status of any trace server easily, without having to do a costly request.

Changes required to

[X] Trace Server protocol
[x] Trace server
[ ] tsp typescript client
[ ] theia-trace-extension

tahini commented 4 years ago

Patch for the trace-server protocol is here: https://github.com/theia-ide/trace-server-protocol/pull/21