2020-06-20 22:32:18 +02:00
|
|
|
Index: libraries/lib.inc.php
|
|
|
|
===================================================================
|
|
|
|
--- libraries/lib.inc.php.orig
|
|
|
|
+++ libraries/lib.inc.php
|
2023-11-03 12:01:53 +01:00
|
|
|
@@ -28,12 +28,12 @@
|
2011-06-07 10:37:43 +02:00
|
|
|
exit(sprintf('Version of PHP not supported. Please upgrade to version %s or later.', $phpMinVer));
|
|
|
|
|
|
|
|
// Check to see if the configuration file exists, if not, explain
|
|
|
|
- if (file_exists('conf/config.inc.php')) {
|
|
|
|
+ if (file_exists('/etc/phpPgAdmin/config.inc.php')) {
|
|
|
|
$conf = array();
|
|
|
|
- include('./conf/config.inc.php');
|
|
|
|
+ include('/etc/phpPgAdmin/config.inc.php');
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
- echo 'Configuration error: Copy conf/config.inc.php-dist to conf/config.inc.php and edit appropriately.';
|
|
|
|
+ echo 'Configuration error: Can not include config /etc/phpPgAdmin/config.inc.php.';
|
|
|
|
exit;
|
|
|
|
}
|
|
|
|
|