#!/bin/sh
# Update proxy settings using wpad-url DHCP option or
# http://wpad/wpad.dat when a DHCP update arrives

if [ -r /etc/debian-edu/config ] ; then
    . /etc/debian-edu/config
fi

if [ false = "$DHCP_WPAD_PROXY_UPDATE" ] ; then
    exit 0
fi

/usr/share/debian-edu-config/tools/update-proxy-from-wpad
