| commit | e0ec8f964f8bbce1ffcd6e4c4e9dbb36b1f93e2c | [log] [tgz] |
|---|---|---|
| author | Ronghua Wu <ronghuawu@google.com> | Fri Mar 06 18:16:00 2015 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Fri Mar 06 18:16:00 2015 +0000 |
| tree | bc30134855c3868bc8d68f4cfdcd05532c9d78b8 | |
| parent | cf44ee9821aaf064c8977c55b81553f456a9f2e4 [diff] | |
| parent | 46722ff44a979c4674c5668189f631d8f77929fd [diff] |
Merge "drm: add event for resource manager."
diff --git a/include/media/drm/DrmAPI.h b/include/media/drm/DrmAPI.h index 49939fd..6e84ab4 100644 --- a/include/media/drm/DrmAPI.h +++ b/include/media/drm/DrmAPI.h
@@ -80,7 +80,8 @@ kDrmPluginEventProvisionRequired = 1, kDrmPluginEventKeyNeeded, kDrmPluginEventKeyExpired, - kDrmPluginEventVendorDefined + kDrmPluginEventVendorDefined, + kDrmPluginEventSessionReclaimed }; // Drm keys can be for offline content or for online streaming.