# HG changeset patch # User Pascal Bellard # Date 1228229316 0 # Node ID 1143af92f66a95821e6547192c72efdfa54562e7 # Parent 6b8241a302f7c58ceb795f8b41645d4915e17dea php-*: restart web server during reconfigure diff -r 6b8241a302f7 -r 1143af92f66a php-apache/receipt --- a/php-apache/receipt Tue Dec 02 12:32:00 2008 +0000 +++ b/php-apache/receipt Tue Dec 02 14:48:36 2008 +0000 @@ -47,8 +47,12 @@ Allow from all EOT - # Start Web server. - if [ -z "$1" -a ! -f "/var/run/apache/httpd.pid" ]; then + # Restart Web server. + if [ -z "$1" -a -f "/var/run/apache/httpd.pid" ]; then + /etc/init.d/apache stop + sleep 2 + fi + if [ -z "$1" ]; then /etc/init.d/apache start fi } diff -r 6b8241a302f7 -r 1143af92f66a php-cups/receipt --- a/php-cups/receipt Tue Dec 02 12:32:00 2008 +0000 +++ b/php-cups/receipt Tue Dec 02 14:48:36 2008 +0000 @@ -36,8 +36,12 @@ sed -e 's|;.*extension=msql.so|; extension=msql.so\nextension=cups.so|' -i $1/etc/php.ini # Start Web server. while read daemon file; do - if [ -z "$1" -a -f /etc/init.d/$daemon \ - -a ! -f "/var/run/$file" ]; then + [ -z "$1" ] || continue + if [ -z "$1" -a -f "/var/run/$file" ]; then + /etc/init.d/$daemon stop + sleep 2 + fi + if [ -z "$1" -a -f /etc/init.d/$daemon ]; then /etc/init.d/$daemon start fi done <