Proxy server settings are now reconfigured if the configuration file
changes (UNTESTED)