Really, really logout (fixes r2467).

svncommit

2009-05-12 f22c2cefb4c7f8b1a995d5de6f706d49861c473c

 program/lib/enriched.inc

@@ -45,7 +45,7 @@
         '</indentright>'=>'</span>');
   
   while(list($find,$replace)=each($a)){
      $body = eregi_replace($find,$replace,$body);
      $body = preg_replace('#'.$find.'#i', $replace, $body);
   }
   return $body;
}