Removed extra blankline

2019-01-30 11:33:43 -08:00 · 2019-01-30 11:33:43 -08:00 · 1dee849498
parent c302606de4
commit 1dee849498
1 changed files with 0 additions and 1 deletions
--- a/setup/web.sh
+++ b/setup/web.sh
@ -54,7 +54,6 @@ tools/editconf.py /etc/php/7.2/fpm/php.ini -c ';' \
 tools/editconf.py /etc/php/7.2/fpm/php.ini -c ';' \
        default_socket_timeout=180

-
 # Switch from the dynamic process manager to the ondemand manager see #1216
 tools/editconf.py /etc/php/7.2/fpm/pool.d/www.conf -c ';' \
 	pm=ondemand