webdb - how to drop a user

[Quoted] Anybody knows how to delete a user who has been created with WebDB? You might do this via a drop command but how do you verify that all objects owned by that specific user are also removed?

[Quoted] [Quoted] Can WebDB do it (and thus preserve the coherence of the database)?

Thanx in advance for any hint

        ion

-- 
_____________________________________________________________
Ion CIONCA              Swiss Federal Institute of Technology 
EPFL ADM-SIC, 1015 Lausanne, Switzerland
phone: (+41) 21 693 45 86             fax: (+41) 21 693 22 20
mailto:Ion.Cionca_at_epfl.ch   http://hpwww.epfl.ch/SIC/ion.html