[BUGREPORT] DDE timer handling

[Björn Döbel]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

thanks a lot for the bug report. We actually found 2 bugs in DDEKit
through it.

The first one concerning concurrency issues in memory management should
already  be available through the public SVN. The second one fixes the
timer implementation to not miss any notifications and lets your test
case run on my test machine. Patch attached, should be in public SVN
soon as well.

Cheers,
Bjoern
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iEYEARECAAYFAknKWrIACgkQP5ijxgQLUNlPNACdFn53qKUxlFuzMI9t+8+XXLgb
UFIAn1AF1kY1mmNSbZe1Vra5tCZ94HNH
=VJf1
-----END PGP SIGNATURE-----
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ddekit_timer.diff
Type: text/x-patch
Size: 5633 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20090325/e6c44bdc/attachment-0001.bin>