jbe@945: function jsProtect(f) {
jbe@945:   if (!jsFail) try {
jbe@945:     return f();
jbe@945:   } catch (e) {
jbe@945:     jsFail = true;
jbe@945:   }
jbe@945: }