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 }