tree b321b94e19eeca3423f8cf5e110e4206b70f483a
parent eabd34665adc284525fe7337ad5c56a8b92964ef
author Gloria Wang <gwang@google.com> 1300944913 -0700
committer Gloria Wang <gwang@google.com> 1300987857 -0700

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