| commit | 7ba631f8b7ba823e943bdda623f7262b342e2c60 | [log] [tgz] |
|---|---|---|
| author | Joe Onorato <joeo@google.com> | Wed May 04 15:28:00 2011 -0700 |
| committer | Joe Onorato <joeo@google.com> | Wed May 04 15:28:00 2011 -0700 |
| tree | 42e2f70faaeadf029873cf7a8a4319f0de5738a2 | |
| parent | 523ca2ba6de61306b3d3e62000e0e8c9f7edec3a [diff] |
If there is no hdmi available, still record that hdmi is not plugged in. Bug: 4321927 Change-Id: I583b75477914f6ec0d6cb8c3d6775063202e1dbe