File: php4-cgi-domxml.prerm

package info (click to toggle)
php4 4.0.3pl1-0potato3
  • links: PTS
  • area: main
  • in suites: potato
  • size: 15,168 kB
  • ctags: 20,556
  • sloc: ansic: 155,237; php: 10,827; sh: 9,608; yacc: 1,874; lex: 1,742; makefile: 788; java: 424; awk: 359; cpp: 335; perl: 181; xml: 57
file content (29 lines) | stat: -rw-r--r-- 706 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
 
#!/bin/sh

set -e

#DEBHELPER#

if [ "$1" != "remove" -a "$1" != "purge" ]; then
	exit 0
fi

if [ -f /etc/php4/cgi/php.ini ]; then
	if grep -q "^extension[[:space:]]*=[[:space:]]*domxml.so" /etc/php4/cgi/php.ini; then
		echo "You are removing XML support for php4, but it is still"
		echo "enabled in you /etc/php4/cgi/php.ini."
		echo
		echo "You should remove this line:"
		echo
		echo "extension=domxml.so"
		echo
		echo -n "Do you want me to do it now [y/N] ?"
		read a
		if echo $a | grep -iq ^y; then
			cat /etc/php4/cgi/php.ini |grep -v "^extension[[:space:]]*=[[:space:]]*domxml.so" > /etc/php4/cgi/php.ini.xmlremove
			mv /etc/php4/cgi/php.ini.xmlremove /etc/php4/cgi/php.ini
		fi
	fi
fi

exit 0