Adjusting labels on PR: Add an option for auto reconnect to websocket. Not recommended unless you are disconnecting often due to unstable connection.

Adjusting labels on PR: Add an option for auto reconnect to websocket. Not recommended unless you are disconnecting often due to unstable connection. #1606