sort our priv levels in a more sophisticated way
[spider.git] / cmd / delete / user.pl