arjun
committed
on 18 Apr 02
fix a bug in portal.delete