One more attempt: stuck processes

[Sebastian Hagedorn]

--On 20. November 2007 15:59:18 +0100 Sebastian Hagedorn 
<hagedorn at uni-koeln.de> wrote:

> I can fix this myself, but it's probably easier if you do it.

Just FYI: I fixed it locally with a 3 minute timeout and it compiled fine. 
I'll start testing it now.
-- 
     .:.Sebastian Hagedorn - RZKR-R1 (Gebäude 52), Zimmer 18.:.
Zentrum für angewandte Informatik - Universitätsweiter Service RRZK
.:.Universität zu Köln / Cologne University - ✆ +49-221-478-5587.:.
                   .:.:.:.Skype: shagedorn.:.:.:.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 186 bytes
Desc: not available
Url : http://lists.andrew.cmu.edu/pipermail/info-cyrus/attachments/20071120/86669e82/attachment.bin