| commit | 9e1e9a339e716b635c5eeded299478774030b608 | [log] [tgz] |
|---|---|---|
| author | Gloria Wang <gwang@google.com> | Wed Mar 23 22:35:13 2011 -0700 |
| committer | Gloria Wang <gwang@google.com> | Thu Mar 24 10:30:57 2011 -0700 |
| tree | 904a5a66f2a6b1f66b63d71afe331a216f59457c | |
| parent | b5fa490995dff116b8a6fdc274bee6f6db4d0d0c [diff] |
Fix for bug 4165823. Add death listener to clean-up drmserver appropriately when drmserver died. Cherry-pick from master. Do not merge. Change-Id: I7782cc96ce173a87ebfd315950f3880fa90294d6