#!/bin/sh
#----------------------------------------------------------------------------
# /etc/ppp/ip-up800.igmpproxy - (re-)start igmpproxy
#
# Last Update:  $Id$
#----------------------------------------------------------------------------

echo '(re-)starting IGMP proxy...'

reload-igmpproxy.sh