Evaluated proc down {host {port 80}} {if {[wget http://$host:$port] != "error: eof"} {. down}}