Listing 3: The ip-down script

#!/bin/sh

STATUSFILE=/etc/ppp/mirrorring

/bin/rm -f $STATUSFILE

/etc/ns start minimal

echo "PPP closed on `date`" >> /tmp/ppp.log

wall << EOM
Internet connection down
EOM