#!/bin/bash ROLE=proxy . /usr/local/bin/proxy_ping_lib.bash || { echo ERROR: loading /usr/local/bin/proxy_ping_lib.bash ; exit 3; } proxy_ping_firewall_restart $*