make the fix for intermittent bulls a bit more efficient
[spider.git] / contrib /
1998-12-22 djk*** empty log message ***