#!/bin/sh
if (($# == 1)) ; then
 logger -t $0 "'$*' by $USER"
 4s-ssh-all-parallel 4s-backend-destroy "$@"
else 
 echo "Usage: $0 <kbname>"
fi
