reconnect WebSocket after closed by sleep and wake. #1804
reconnect WebSocket after closed by sleep and wake. #1804

James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop