#! /bin/sh /usr/share/dpatch/dpatch-run ## 10_livelock.dpatch by Timothy Baldwin ## ## All lines beginning with `## DP:' are a description of the patch. ## DP: Fix a livelock problem when jumping between editing marks. @DPATCH@ diff -urNad vdr-1.3.23/dvbplayer.c /tmp/dpep.odvcge/vdr-1.3.23/dvbplayer.c --- vdr-1.3.23/dvbplayer.c 2005-03-25 23:45:25.789555968 +0000 +++ /tmp/dpep.odvcge/vdr-1.3.23/dvbplayer.c 2005-03-25 23:53:11.273645683 +0000 @@ -376,6 +376,7 @@ cPoller Poller; if (DevicePoll(Poller, 100)) { + sched_yield(); LOCK_THREAD; // Read the next frame from the file: