Project

General

Profile

« Previous | Next » 

Revision 3133cc3b

Added by Scott Ullrich over 13 years ago

Do not set EXTENSIONSDIR twice

View differences:

etc/rc.php_ini_setup
27 27 

  		




  28
  28
  
    
# Set our operating platform


  		




  29
  29
  
    
PLATFORM=`/bin/cat /etc/platform`


  		




  30
  
  
    
EXTENSIONSDIR="/usr/local/lib/php/20060613/"


  		




  31
  30
  
    

  		




  32
  31
  
    
if [ -d /usr/local/lib/php/20090626 ]; then


  		




  33
  32
  
    
	EXTENSIONSDIR="/usr/local/lib/php/20090626/"


  		












Also available in:  Unified diff