#!/bin/sh
#
# This script is run by pppd after the connection has ended.
#