[Greasemonkey] Re: GreaseMonkey 0.3

[Aaron Boodman]

> Well, the incorrect part is that after the Javascript error is thrown,
> Greasemonkey is dead for that page.  So instead of just losing the
> offending script, you end up losing that script and any that would
> have loaded after it.  I think it's better to catch the exception and
> continue on.

I see. That is a good point, and the behavior I might expect.

I will change it to put an error in the log without halting GM.