arjun
committed
on 15 Jul 02
minor fix: get portal name, and user_id