HTTP Proxy stopped working (fix for developers included)

[underdogest]

Spotify for windows desktop has a bug where the HTTP proxy is applied incorrectly. When setting a corporate http proxy with IP 1.2.3.4 (not the real corporate http proxy IP) and port 8080, the resulting commandline is wrong:

C:\Users\Admin\AppData\Roaming\Spotify\Spotify.exe" [...] --proxy-server=http://1.2.3.4:0 [...]

Instead of port 8080 it uses port 0 which makes it connect to random ports and spotify no longer works in a corporate network. The developers are parsing the Int value in the proxy.ports settings incorrectly and instead use the default value in javascript (0).