At 06:01 PM 1/3/00 -0800, Martin Buchholz wrote:
This patch did not fix the crash, but your second suggestion did
work:
I am committing this emergency fix now because it seems like an
important thing to fix now. Andy, feel free to redo later as you
wish.
This fix is fine and is in fact reverting to the original behaviour. I was
never quite happy about the change since it didn't seem to fix anything
explicitly and I thought it might cause problems which I couldn't pin my
finger on.
andy
--------------------------------------------------------------
Dr Andy Piper
Senior Consultant Architect, BEA Systems Ltd