Fix bug pdo_info

diff --git a/lib/php/db.php b/lib/php/db.php
index 2b8a6274ef90157bbb9c822c2dec4522c90ea8fe..1faf91533a4555108cd2f371425b7ff82a950897 100644 (file)
--- a/lib/php/db.php
+++ b/lib/php/db.php
@@ -768,7 +768,7 @@ class Db extends nb {
   public static function pdo_info($pdo) {
     $infos = self::pdo2h($pdo);
     foreach ($infos as $k=>$v) {
-      if (!preg_match('/^(host|dbname|name)/')) delete($infos[$k]);
+      if (!preg_match('/^(host|dbname|name)/',$k)) unset($infos[$k]);
     }
   }