From 09c6bced8db2567c60896457e4b7e761f37d87c3 Mon Sep 17 00:00:00 2001 From: Klaus Schmidinger Date: Sat, 7 Oct 2006 12:50:24 +0200 Subject: Fixed handling video directory updates in case an other process has touched the .update file after the last NeedsUpdate() check --- CONTRIBUTORS | 2 ++ 1 file changed, 2 insertions(+) (limited to 'CONTRIBUTORS') diff --git a/CONTRIBUTORS b/CONTRIBUTORS index ab8742ec..be608e76 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -1823,6 +1823,8 @@ Petri Hintukainen the Makefile to avoid a crash in case a new version is installed on a running system for fixing handling video directory updates in case the timestamp of the .update file is in the future + for fixing handling video directory updates in case an other process has touched the + .update file after the last NeedsUpdate() check Marcel Schaeben for his "Easy Input" patch -- cgit v1.2.3