Does someone have a magic way to delete a filespace that doesn't want to be
deleted, i.e., a force-type command?  I've tried renaming, by gui, by
command line.  I don't get an errors when trying to delete the filespace,
but 0 files get deleted and the filespace remains intact with data still
existing.

Thanks very much in advance,

Elaine C. Luty

elaine_luty AT csufresno DOT edu
Operating Systems Analyst
Information Technology Services
California State University, Fresno

PGP PUBLIC KEY AVAILABLE UPON REQUEST