the websocket informs about the current tree after deletion of a file