commit d0adb665cc26bfe14e8f2a9985accce76187281c
author Michael Kolb <kolby@google.com> Mon May 07 14:26:55 2012 -0700
committer Android Git Automerger <android-git-automerger@android.com> Mon May 07 14:26:55 2012 -0700
tree 681586441d91241c129e77ba1afce906b2ab848c
parent 8eb6aaf9e3d46aaaae03f0ea35cea352dbc712b0
parent 52eafbb7601eac6ce0011edeb2a73ffccb6fb751

am 52eafbb7: Merge "fix monkey NPE" into jb-dev

* commit '52eafbb7601eac6ce0011edeb2a73ffccb6fb751':
  fix monkey NPE

src/com/android/browser/DownloadHandler.java

diff --git a/src/com/android/browser/DownloadHandler.java b/src/com/android/browser/DownloadHandler.java
index 6e2c786..31212b4 100644
--- a/src/com/android/browser/DownloadHandler.java
+++ b/src/com/android/browser/DownloadHandler.java
@@ -204,6 +204,7 @@
         // old percent-encoded url.
         String cookies = CookieManager.getInstance().getCookie(url, privateBrowsing);
         request.addRequestHeader("cookie", cookies);
+        request.addRequestHeader("User-Agent", userAgent);
         request.setNotificationVisibility(
                 DownloadManager.Request.VISIBILITY_VISIBLE_NOTIFY_COMPLETED);
         if (mimetype == null) {