//
///////////////////////////////////////////////////////////////////////////////
+// Constants
+$APP_COPYRIGHT = "Copyright © 2008, <a href=\"http://www.enterprisedb.com\" target=\"_new\">EnterpriseDB</a> UK Ltd.";
+$APP_VERSION = "1.1";
+$APP_NAME = "pgPhoneHome";
+
+
// Ensure we can get error messages
ini_set("track_errors", "1");
require "config.php";
else
www_error("No configuration found", "No configuration file was found. Please copy config.php.in to config.php and edit as required.", "servers");
-
-// Constants
-$APP_COPYRIGHT = "Copyright © 2008, <a href=\"http://www.enterprisedb.com\" target=\"_new\">EnterpriseDB</a> UK Ltd.";
-$APP_VERSION = "1.0";
-$APP_NAME = "pgPhoneHome";
+// Check that the PostgreSQL module is available
+if (!extension_loaded("postgresql"))
+ www_error("PHP configuration error", "The postgresql module for PHP is not available. Please enable the module in your PHP configuration.", "servers");
+
?>