Check if mysql support is available and if not, try to dynamically load it

(necessary under many installations where the PHP interpreter is not compiled
--with-mysql)

diff --git a/install.php b/install.php
index 333c433..164c93c 100644 (file)
--- a/install.php
+++ b/install.php
@@ -1,5 +1,12 @@
 <?
 
+if (!extension_loaded('mysql')) {
+    if (!dl('mysql.so')) {
+        print "Could not load MySQL driver! Please compile ".
+              "php --with-mysql or install the mysql.so module.\n";
+       exit;
+    }
+}
 # Install software and create new empty database.
 #