change domain owner

Sergio Cambra

2014-06-25 e9bb05d44d4672f7dc29a78cc7bb98cebc96abc6

 server/server.sh

old mode 100644
new mode 100755
@@ -4,4 +4,14 @@

. /etc/profile

umask 022

if [ -f /usr/local/ispconfig/server/lib/php.ini ]; then
        PHPINIOWNER=`stat -c %U /usr/local/ispconfig/server/lib/php.ini`
        if [ $PHPINIOWNER == 'root' ] || [ $PHPINIOWNER == 'ispconfig'  ]; then
                export PHPRC=/usr/local/ispconfig/server/lib
        fi
fi

cd /usr/local/ispconfig/server
/usr/bin/php -q /usr/local/ispconfig/server/server.php