ignore (with a warning) empty proxy server settings