diff options
| author | smos <seth.mos@dds.nl> | 2012-02-26 09:21:29 +0100 |
|---|---|---|
| committer | smos <seth.mos@dds.nl> | 2012-02-26 09:21:29 +0100 |
| commit | d17263ec6ac987c164184618e033473cd408307a (patch) | |
| tree | 6bbed8133459eea4d8cdc478a8f8fee029b444f3 /etc/rc.php_ini_setup | |
| parent | c04237e9d5fccde650a9bc817fe862b066aceed7 (diff) | |
| download | pfsense-d17263ec6ac987c164184618e033473cd408307a.zip pfsense-d17263ec6ac987c164184618e033473cd408307a.tar.gz | |
Make sure we set the extension dir to wherever our xml.so lives.
Diffstat (limited to 'etc/rc.php_ini_setup')
| -rwxr-xr-x | etc/rc.php_ini_setup | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/etc/rc.php_ini_setup b/etc/rc.php_ini_setup index e4b0152..1572444 100755 --- a/etc/rc.php_ini_setup +++ b/etc/rc.php_ini_setup @@ -27,7 +27,11 @@ # Set our operating platform PLATFORM=`/bin/cat /etc/platform` -EXTENSIONSDIR="/usr/local/lib/php/20060613/" +if [ -f "/usr/local/lib/php/20090626/xml.so" ]; then + EXTENSIONSDIR="/usr/local/lib/php/20090626/" +else + EXTENSIONSDIR="/usr/local/lib/php/20060613/" +fi # Grab amount of memory that is detected if [ -f /var/log/dmesg.boot ]; then |
