#!/bin/sh # Set our operating platform PLATFORM=`cat /etc/platform` if [ "$PLATFORM" != "cdrom" ]; then # Populate a dummy php.ini to avoid # the file being clobbered and the firewall # not being able to boot back up. cat >/usr/local/lib/php.ini <>/usr/local/lib/php.ini <