We upgraded our Integrity system from v2007 to 10.x this summer and I personally am now struggling with trying to remove old sandboxes.
Whenever I try dropping via menu, I get messages like:
"Failed to drop sandbox /users/<...>/project.pj:
MKS125217: The sandbox file
/home/<...>/project.pj is not registered as a top
level sandbox."
I am at the point where I just want to have Integrity Client simply forgetting all notions of old sandboxes.
Removing $HOME/.Integrity* and $HOME/.mks entries doesn't seem to help.
Does anyone know where else information about sandboxes may be stored....?