comparison po/te.po @ 22863:56a38b60576e

Kill off sound playing child processes if they are still around after 15 seconds, as they will be if we are piling up children due to blocking on the audio device. This prevents a barrage of sounds when the device becomes available.
author Stu Tomlinson <stu@nosnilmot.com>
date Wed, 07 May 2008 19:06:28 +0000
parents a6de9387d4b9
children 3f6ab2cbca5f e0bcb8cfda74
comparison
equal deleted inserted replaced
22861:485689a88b61 22863:56a38b60576e