-if [ -f /etc/php/php.ini ]; then
- echo "activating module 'ZendOptimizer.so' in php.ini" 1>&2
- if grep -q ^zend_optimizer.optimization_level ; then
- optlevel=`grep ^zend_optimizer /etc/php/php.ini|cut -d'=' -f2|tr -d ' '|tr -d '"'|tr -d "'"|tr -d ';'`
- else
- optlevel="15"
- fi
- cp /etc/php/php.ini{,.zend-backup}
- grep -v zend_optimizer.optimization_level /etc/php/php.ini | \
- grep -v zend_extension > /etc/php/php.ini.tmp
- echo '[Zend]' >> /etc/php/php.ini.tmp
- echo "zend_optimizer.optimization_level=$optlevel" >> /etc/php/php.ini.tmp
- echo "zend_extension_manager.optimizer=%{_libdir}/Zend/lib/Optimizer-%{version}" >> /etc/php/php.ini.tmp
- echo "zend_extension_manager.optimizer_ts=%{_libdir}/Zend/lib/Optimizer_TS-%{version}" >> /etc/php/php.ini.tmp
- echo "zend_extension=%{_libdir}/Zend/lib/ZendExtensionManager.so" >> /etc/php/php.ini.tmp
- echo "zend_extension_ts=%{_libdir}/Zend/lib/ZendExtensionManager_TS.so" >> /etc/php/php.ini.tmp
- mv /etc/php/php.ini{.tmp,}
-fi
-if [ -f /var/lock/subsys/httpd ]; then
- /etc/rc.d/init.d/httpd restart 1>&2