diff options
Diffstat (limited to 'etc/phpshellsessions/gitsync')
| -rw-r--r-- | etc/phpshellsessions/gitsync | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/etc/phpshellsessions/gitsync b/etc/phpshellsessions/gitsync index eed6038..560baf8 100644 --- a/etc/phpshellsessions/gitsync +++ b/etc/phpshellsessions/gitsync @@ -202,10 +202,11 @@ function post_cvssync_commands() { exec("pfctl -f /tmp/rules.debug"); echo "\n"; - echo "===> Running /etc/rc.php_ini_setup..."; - if(file_exists("/etc/rc.php_ini_setup")) + if(file_exists("/etc/rc.php_ini_setup")) { + echo "===> Running /etc/rc.php_ini_setup..."; exec("/etc/rc.php_ini_setup"); - echo "\n"; + echo "\n"; + } echo "===> Signaling PHP and Lighty restart..."; $fd = fopen("/tmp/restart_lighty", "w"); |
