put a check for an empty filter command line
[spider.git] / cmd / delete / user.pl