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,11 +70,11 @@ 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() {