On Tue, Dec 10, 2002 at 08:50:55AM +0100, Carsten Langgaard wrote: > I absolutely agree that we should go for an optimized solution, but we discuss > this issue 1/2 year ago, none of us, had the time to come up with a better fix > than the one I send. I'm going through my to-do list and came across this > issue again, and I just wanted to reopen the case again. > This time it annoyed you enough, so you came up with a better solution and > I achieved what I came for, so that's great ;-) > Thanks a lot. I will try you patch right away. It's already in CVS. Btw, a missconfigured firewall turned linux-mips.org into a heating for the server room last night. This should be fixed now. The machine is now hosted at MIPS UK, formerly Algorithmics. There should be no user visible changes. Ralf
