Using Android SDK Manager when I try to update it just gives the ... into the proxy field and the port (88) into the port field in the Android SDK ...
stackoverflow.com