mlv_play: HDMI disconnect crashes player
Created originally on Bitbucket by g3gg0 (Georg Hofstetter)
see: http://www.magiclantern.fm/forum/index.php?topic=9062.msg89735#msg89735
Created originally on Bitbucket by g3gg0 (Georg Hofstetter)
see: http://www.magiclantern.fm/forum/index.php?topic=9062.msg89735#msg89735