#1485534: fix (multiple) PRE conversion

alecpl

2008-11-03 f35a226447e578b9859e1f933f7c09c5d20a3ca9

 program/lib/html2text.php

@@ -543,7 +543,7 @@
   while(preg_match('/<pre[^>]*>(.*)<\/pre>/ismU', $text, $matches))
   {
       $result = preg_replace($this->pre_search, $this->pre_replace, $matches[1]);
       $text = preg_replace('/<pre[^>]*>.*<\/pre>/ismU', '<div><br>' . $result . '<br></div>', $text);
       $text = preg_replace('/<pre[^>]*>.*<\/pre>/ismU', '<div><br>' . $result . '<br></div>', $text, 1);
   }
    }
}