tree 6bffa3871fb6b2f0d6da531c688d148d89109480
parent bba5ffb847d10a65ce323f3c607f9f842c21e0c1
parent bf4d838a887ff387758ec0ef396b4888cb710461
author Android (Google) Code Review <android-gerrit@google.com> 1242092142 -0700
committer Android (Google) Code Review <android-gerrit@google.com> 1242092142 -0700

Merge change 1392 into donut

* changes:
  Fixed bugs in the media player api demo application - release the MediaPlayer object when onPause - use onVideoSizeChanged listener to make sure that correct video size is known before starting playback