diff DOCS/tech/release.sh @ 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.)
author ib
date Sun, 25 Nov 2012 14:38:58 +0000
parents c8d891e708dc
children
line wrap: on
line diff