wok rev 1782

php-pear: restart web server
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat Nov 29 10:38:27 2008 +0000 (2008-11-29)
parents dc930a3898b9
children 2715a6dd1893
files php-pear/receipt
line diff
     1.1 --- a/php-pear/receipt	Sat Nov 29 10:01:52 2008 +0000
     1.2 +++ b/php-pear/receipt	Sat Nov 29 10:38:27 2008 +0000
     1.3 @@ -23,4 +23,11 @@
     1.4  {
     1.5  	grep ^include_path $1/etc/php.ini
     1.6  	sed -i 's|/php/includes"|/php/includes"\ninclude_path = ".:/usr/share/php"|' $1/etc/php.ini
     1.7 +	# Restart Web server.
     1.8 +	for daemon in apache lighttpd ; do
     1.9 +		if [ -f /etc/init.d/$daemon ]; then
    1.10 +			/etc/init.d/$daemon stop
    1.11 +			/etc/init.d/$daemon start
    1.12 +		fi
    1.13 +	done
    1.14  }