[webkit-dev] recent KJS_CHECK_EXCEPTION change (needs improvement?)

I was looking at the recent change to KJS_CHECK_EXCEPTION, and I was wondering if it's correct. It looks to me like each level is going to overwrite the source file and line number set by the level below it. So the code needs to change to attach a new source file and line number only if it's not already set on the exception being propagated. What do you think? -- Darin