Changing proxy settings will sync and re-connect websocket, fixes #77, #78
Merge branch 'master' into builds
7.403