Adds an explicit type for GeolocationPermissions.getOrigins. Do not merge.
BUG=2271636
This has already been submitted to eclair-mr2.
Change-Id: I8c79b949162a98c3711f01d9c6ebbf53959fd039
diff --git a/src/com/android/browser/BrowserPreferencesPage.java b/src/com/android/browser/BrowserPreferencesPage.java
index fb0b2ba..1370722 100644
--- a/src/com/android/browser/BrowserPreferencesPage.java
+++ b/src/com/android/browser/BrowserPreferencesPage.java
@@ -98,8 +98,8 @@
}
}
});
- GeolocationPermissions.getInstance().getOrigins(new ValueCallback<Set>() {
- public void onReceiveValue(Set geolocationOrigins) {
+ GeolocationPermissions.getInstance().getOrigins(new ValueCallback<Set<String> >() {
+ public void onReceiveValue(Set<String> geolocationOrigins) {
if ((geolocationOrigins != null) && !geolocationOrigins.isEmpty()) {
websiteSettings.setEnabled(true);
}
diff --git a/src/com/android/browser/BrowserSettings.java b/src/com/android/browser/BrowserSettings.java
index e36d54b..9c5af34 100644
--- a/src/com/android/browser/BrowserSettings.java
+++ b/src/com/android/browser/BrowserSettings.java
@@ -538,8 +538,8 @@
}
});
- GeolocationPermissions.getInstance().getOrigins(new ValueCallback<Set>() {
- public void onReceiveValue(Set geolocationOrigins) {
+ GeolocationPermissions.getInstance().getOrigins(new ValueCallback<Set<String> >() {
+ public void onReceiveValue(Set<String> geolocationOrigins) {
if ((geolocationOrigins != null) && !geolocationOrigins.isEmpty()) {
screen.setEnabled(true);
}
diff --git a/src/com/android/browser/WebsiteSettingsActivity.java b/src/com/android/browser/WebsiteSettingsActivity.java
index 645e084..047867a 100644
--- a/src/com/android/browser/WebsiteSettingsActivity.java
+++ b/src/com/android/browser/WebsiteSettingsActivity.java
@@ -222,8 +222,8 @@
}
public void askForGeolocation(final Map sites) {
- GeolocationPermissions.getInstance().getOrigins(new ValueCallback<Set>() {
- public void onReceiveValue(Set origins) {
+ GeolocationPermissions.getInstance().getOrigins(new ValueCallback<Set<String> >() {
+ public void onReceiveValue(Set<String> origins) {
if (origins != null) {
Iterator<String> iter = origins.iterator();
while (iter.hasNext()) {