Deleting workspaces

[Martin Perez]

Hi.

As far as I know, currently jackrabbit does not allow to delete workspaces.
But, the problem is that I need to delete a workspace at all costs.

Do you think it will be enough to delete the workspaces/concrete_workspace
directory?

Martin