added a disconnect if already connected locally.
[spider.git] / cmd / delete / user.pl