#!/bin/bash # -*-mode: sh; tab-width: 8; coding: utf-8-unix -*- PREFIX=/usr/local 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 $*