
watch_dhcp.pl:	monitor a remote DHCP server and launch a local server when needed.

Usage: watch_dhcp.pl [--server=server] [--ether=ether]
	[--timeout=timeout] [--sleep=sleep] [--wait=wait]
	[--start=start] [--stop=stop]

 server:  DHCP server name or IP.
 ether:   Local ethernet address.
 timeout: Timeout for network operations.
 sleep:   Interval between monitoring.
 try:     Number of successive (bad/ok) tries before taking action (start/stop).
 start:   Command to start the local DHCP daemon.
 stop:    Command to stop  the local DHCP daemon.

All options have reasonable values on a UNIX machine.

Notes: 
 .- This script will fail if remote DHCP server contains unresolvable
 server names in its configuration.

 .- It uses secure shell (ssh and scp) to update configuration files.
