diff options
| author | John Reck <jreck@google.com> | 2011-04-28 10:27:40 -0700 |
|---|---|---|
| committer | John Reck <jreck@google.com> | 2011-04-28 10:27:40 -0700 |
| commit | f5577407899aeb75f1eb206ba762f5d63136d68d (patch) | |
| tree | d0f844a476a03bd2de3c4ffa326278cadaacfa8f /core/java/android/webkit/WebSettings.java | |
| parent | 75e7b005b8c9157880edb9192e6a87cef8f851e0 (diff) | |
Use previous version if version is a codename
When the version is reported as a codename, use the previous version
in the user agent string.
Bug: 4347787
Change-Id: Ie42a2fc2f21975b59ccac5547d813d3e777da468
Diffstat (limited to 'core/java/android/webkit/WebSettings.java')
| -rw-r--r-- | core/java/android/webkit/WebSettings.java | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/core/java/android/webkit/WebSettings.java b/core/java/android/webkit/WebSettings.java index 3e11197df764..4755362537f5 100644 --- a/core/java/android/webkit/WebSettings.java +++ b/core/java/android/webkit/WebSettings.java @@ -19,7 +19,6 @@ package android.webkit; import android.content.Context; import android.content.SharedPreferences; import android.content.pm.PackageManager; -import android.content.res.Resources; import android.os.Build; import android.os.Handler; import android.os.Message; @@ -137,6 +136,9 @@ public class WebSettings { OFF } + // TODO: Keep this up to date + private static final String PREVIOUS_VERSION = "3.1"; + // WebView associated with this WebSettings. private WebView mWebView; // BrowserFrame used to access the native frame pointer. @@ -470,7 +472,14 @@ public class WebSettings { // Add version final String version = Build.VERSION.RELEASE; if (version.length() > 0) { - buffer.append(version); + if (Character.isDigit(version.charAt(0))) { + // Release is a version, eg "3.1" + buffer.append(version); + } else { + // Release is a codename, eg "Honeycomb" + // In this case, use the previous release's version + buffer.append(PREVIOUS_VERSION); + } } else { // default to "1.0" buffer.append("1.0"); |
