| commit | 07d0220bcc9036bcbe36819912559267d9c1c538 | [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 | b321b94e19eeca3423f8cf5e110e4206b70f483a | |
| parent | eabd34665adc284525fe7337ad5c56a8b92964ef [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