started tidying up for 1.47
[spider.git] / cmd / delete / user.pl