fix problems with users on more than one node
[spider.git] / cmd / delete / user.pl