-
Committer:
Olivier Tilloy
-
Date:
2009-11-27 14:55:04 UTC
-
mfrom:
(1603.1.3 fix_player_exit)
-
Revision ID:
olivier@fluendo.com-20091127145504-0obn3411e91gkck3
Exit the player only when the media cannot even be partly played,
not every time the status of the player goes to STOPPED
(which also happens when transitioning between media in a playlist).