Fail if a workspace is disposed outside the manager

Fail if a workspace is disposed outside the manager #2420