Ping while a query is being executed

[silvanheller]

The Websocket Implementation of the ping command currently does not work while a query is being executed. This means users have the impression the Cineast instance is disconnected. This has two possible remedies: (i) investigate the cause of the WS issues or (ii) migrate the ping implementation to REST.

[lucaro]

I'd vote for option (i) since otherwise, you won't have any information about the state of the websocket connection. If it isn't kept continuously open but rather established only when a query is sent, I would not see a reason for keeping the ping at all.