From: Joe Van Dyk <joevandyk@...>
Date: 2005-06-25T11:42:03+09:00
Subject: speeding up Process.detach frequency

Is there any way to speed up Process.detach?  The ri documentation for
it says that it checks once a second, and I'd like to up that to maybe
once every quarter second.