Leider kann ich mich auf vdr-developer nicht registrieren (mein zuvor festgelegtes Passwort wäre falsch), somit antworte ich auf mein Ticket hier, in der Hoffnung anbr liest mit :-/
Da der Bug bei mir leider nur sporadisch und nicht reproduzierbar auftritt, kann ich bisher die Aussage treffen, dass der Patch funktioniert. Bisher keine weiteren Abstürze - hoffe es bleibt so.
Danke & Gruss
Marcus