for ($i=0; $i < count ($cookie); $i++) {
$line = $cookie[$i];
- $line = ereg_replace ("<", "<", $line);
- $line = ereg_replace (">", ">", $line);
+ $line = str_replace (array("<", ">"),
+ array("<", ">"),
+ $line);
- if (ereg ("^ ?-- ", $line)) {
- $line = ereg_replace ("^ ?-- ", "", rtrim($line));
+ if (preg_match('/^\t\t?-- (.*)/', $line, $matches)) {
+ $line = rtrim($matches[1]);
if ($pre) {
$pre = 0;
$result .= "</pre>\n";
if (strlen ($_GET[keyword]) > 0) {
$keyword = $_GET[keyword];
- $keyword = ereg_replace ("'", "", $keyword);
- $keyword = ereg_replace ("`", "", $keyword);
- $keyword = ereg_replace ("\"", "", $keyword);
+ $keyword = str_replace (array("'","`","\""),
+ array("", "", ""),
+ $keyword);
$dbh = pg_pconnect ("", "", "web");
if ($dbh) {