#!/bin/sh
if (($# == 1)) ; then
 logger -t $0 "'$*' by $USER"
 4s-ssh-all "pkill -f ^4s-backend\ $1\$ || echo No matching 4store backend"
else 
 echo "Usage: $0 <kbname>"
fi
