--- pippki.bak/content/pippki/exceptionDialog.js	2008-02-21 09:40:52.000000000 -0600
+++ pippki/content/pippki/exceptionDialog.js	2008-04-20 02:31:32.687500000 -0500
@@ -90,7 +90,7 @@
       document.getElementById('checkCertButton').disabled = false;
       
       // We can optionally pre-fetch the certificate too
-      if (args[0].prefetchCert)
+//      if (args[0].prefetchCert)
         checkCert();
     }
     
@@ -351,4 +351,5 @@
     args[0].exceptionAdded = true;
   
   gDialog.acceptDialog();
+  document.parent.reload();
 }