Article	Figure 1	Figure 2	Figure 3	Figure 4
Figure 5	Figure 6	Listing 1	Listing 2	Listing 3
Sidebar 1	Sidebar 2	may95.tar

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