diff --git a/html/install.php b/html/install.php index e366cb435..0919655ff 100644 --- a/html/install.php +++ b/html/install.php @@ -378,6 +378,12 @@ if ( $flag_php==0 ) { } else { echo '
'._('php mal configuré ').$failed.'
'; } + +// Check that the module for postgres is installed before testing the version +if (! function_exists("pg_connect")) { + echo _("Module php-pgsql n'est pas installé"); + return; +} /* check user */ if ( (defined("MULTI") && MULTI==1)|| !defined("MULTI")) {