Android SDK Manager 更新SDK出错 (设置代理服务器)

由于公司网络的限制，要上Intranet需要设置代理服务器。导致在公司通过Android SDK Manager 更新SDK总是失败。原以为是google被河蟹了，仔细研究原来是没有设置代理，设置代理后，就ok了。