- not built -

s/throw BadMojo/throw new BadMojo/g so we can test with instanceof later

extensions/venkman/resources/content/venkman-prefs.js

@@ -49,7 +49,7 @@ function initPrefs()
 console.prefs.save =
 function pfs_save ()
 {
-    throw BadMojo(ERR_NOT_IMPLEMENTED);
+    throw new BadMojo(ERR_NOT_IMPLEMENTED);
 }
 
 console.addPref =

extensions/venkman/resources/content/venkman-url-loader.js

@@ -44,7 +44,7 @@ function _getChannelForURL (url)
 {
     var serv = Components.classes[IOSERVICE_CTRID].getService(nsIIOService);
     if (!serv)
-        throw BadMojo(ERR_FAILURE);
+        throw new BadMojo(ERR_FAILURE);
     
     return serv.newChannel(url, null);