Merge change 686 into donut

* changes:
  gps: Don't crash if no XTRA servers are specified.
This commit is contained in:
Android (Google) Code Review
2009-04-28 16:18:07 -07:00

View File

@ -70,12 +70,12 @@ public class GpsXtraDownloader {
if (server1 != null) mXtraServers[count++] = server1; if (server1 != null) mXtraServers[count++] = server1;
if (server2 != null) mXtraServers[count++] = server2; if (server2 != null) mXtraServers[count++] = server2;
if (server3 != null) mXtraServers[count++] = server3; if (server3 != null) mXtraServers[count++] = server3;
}
// randomize first server // randomize first server
Random random = new Random(); Random random = new Random();
mNextServerIndex = random.nextInt(count); mNextServerIndex = random.nextInt(count);
} }
}
byte[] downloadXtraData() { byte[] downloadXtraData() {
String proxyHost = Proxy.getHost(mContext); String proxyHost = Proxy.getHost(mContext);