"Ross Paterson" <ross@soi.city.ac.uk> writes: > .... > > It seems to have make runhugs and ffihugs noisier, though. Off-hand, I can't see how that may have been brought about (and they're pretty quiet on stdout/stderr here) - what's a good test? --sigbjorn