Re: [vdr] Bug #14: VDR crashes after mplayer has finished playing a movie