diff options
| author | Sungsoo Lim <sungsoo@google.com> | 2017-07-17 14:24:26 -0700 |
|---|---|---|
| committer | Sungsoo Lim <sungsoo@google.com> | 2017-07-19 18:40:16 +0000 |
| commit | 9bfb46f6ff1fb90593dc03678a7dc78671410a79 (patch) | |
| tree | 4c6a04062babfa3dc694ec6b5c15c70be558856b /rs/java/android/renderscript/ProgramStore.java | |
| parent | d5f442d65b943247ace54e601f811e0f579c3cf5 (diff) | |
Type check before casting from CookieHandler to CookieManager
CookieHandler.getDefault() doesn't always return CookieManager.
Bug: 63638018
Test: pass StreamingMediaPlayerTest#testHlsWithHeadersCookies
Test: manual with a test app
Change-Id: Ie7c19d38f779813f3fffb9abbcb3188a0fca3f45
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions