Some fixes in the handling of compiler exceptions so that we get rid of the backtrace clutter. Rev: lib/master.pike.in:1.428 Rev: lib/modules/Tools.pmod/Hilfe.pmod:1.152