| commit | 43590149a5c2073a9fc8e3ed6afbf21fb017193e | [log] [tgz] |
|---|---|---|
| author | Jean Chalard <jchalard@google.com> | Thu Apr 25 17:16:03 2013 +0900 |
| committer | Jean Chalard <jchalard@google.com> | Thu Apr 25 18:52:39 2013 +0900 |
| tree | 25b064ac21c12863a79dc05fc1f1834d0a271b56 | |
| parent | 4dc77dcf4c1f704c2f6b32222a74d673afec8794 [diff] |
Work around a bug in older DownloadManager versions. This adds a number to the extension. Note that for DownloadManager to keep this, the server needs to send it a mime type it does not recognize. Right now, it does not recognize application/json so it's okay, but we'd do well to remove the content/type header from the server to prevent problems. Bug: 8467516 Change-Id: Ic484f66ac3f67c36f59f2c0bcb8c7fdeb6e8590d