fixed problem where two consoles with same call stopped the cluster
[spider.git] / cmd / delete / user.pl