On Wed, May 15, 2013 at 3:19 PM, Thomas Thrainer <[email protected]>wrote:

> Interdiff:
>
> diff --git a/tools/master-ip-setup b/tools/master-ip-setup
> index 1be9fc4..d40b4c3 100755
> --- a/tools/master-ip-setup
> +++ b/tools/master-ip-setup
> @@ -63,7 +63,7 @@ start() {
>  # Stop the master IP
>  stop() {
>    if ! ip addr show dev $MASTER_NETDEV | \
> -        grep "$MASTER_IP/$MASTER_NETMASK"  >/dev/null 2>&1; then
> +        grep -F " $MASTER_IP/$MASTER_NETMASK"  >/dev/null 2>&1; then
>      echo "Master IP address not configured on this machine. Doing
> nothing."
>      exit 0
>

I would like to *also* do the ping, and if the ping succeeds error out
(that is, if it is active on another device, and we can't switch it off).

Thanks,

Guido

Reply via email to