split n'existe plus avec PHP 7

Remplacé par preg_split qui existe de PHP4 à PHP7 au moins. Corrige #243.
gleu · Aug 10, 2021 · c6473e3 · c6473e3
1 parent 50bbc5c
commit c6473e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/www-docs.postgresql.fr/tools/addrelease.php b/www-docs.postgresql.fr/tools/addrelease.php
@@ -98,7 +98,7 @@ function usage() {
       $pgpassfile = fopen($pgpassfilename, 'r');
       $found = false;
       while (!$found and $line = fgets($pgpassfile)) {
-        list($host, $port, $database, $user, $password) = split (":", trim($line), 5);
+        list($host, $port, $database, $user, $password) = preg_split ("/:/", trim($line), 5);
         if ((!strcmp($PGHOST, $host) or !strcmp('*', $host)) and
             (!strcmp($PGPORT, $port) or !strcmp('*', $port)) and
             (!strcmp($PGDATABASE, $database) or !strcmp('*', $database)) and