view binary.ver @ 35381:746e2e0577b2

Without current playlist item, reset guiInfo's Filename and StreamType. This fixes a blocking when deleting the playlist while or after playback and trying to play again. Reported by Hans-Dieter Kosch, hdkosch kabelbw de. (Reset them either after playback when playing or immediately if not playing which will display the filename played as long as possible.)

MPLAYER_1 {
  local: *;
};