| Server IP : 20.75.53.88 / Your IP : 216.73.217.72 [ Web Server : Apache System : Linux VMRALP-3 4.4.0-256-generic #290~14.04.1-Ubuntu SMP Thu Jun 20 09:24:50 UTC 2024 x86_64 User : www-data ( 33) PHP Version : 5.5.9-1ubuntu4.29+esm15 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority, Domains : 3 Domains MySQL : ON | cURL : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /var/lib/dpkg/info/ |
Upload File : |
#!/bin/sh
set -e
if [ "$1" = "configure" ]; then
update-alternatives \
--install /usr/bin/php php /usr/bin/php5 50 \
--slave /usr/share/man/man1/php.1.gz php.1.gz /usr/share/man/man1/php5.1.gz
fi
CONFDIR=/etc/php5/cli/conf.d
if [ -L $CONFDIR ]; then
rm $CONFDIR
mkdir $CONFDIR
fi
if [ "$1" = "configure" ]; then
phpini="/etc/php5/cli/php.ini"
if [ "cli" = "cli" ]; then
ucf /usr/share/php5/php.ini-production.cli $phpini
else
ucf /usr/share/php5/php.ini-production $phpini
fi
ucfr php5-cli $phpini
if [ -e /usr/share/php5/php5-maintscript-helper ]; then
. /usr/share/php5/php5-maintscript-helper
mods=$(php5query -M)
for mod in $mods; do
php5_invoke enmod cli $mod
done
fi
fi
exit 0