if deleted does not exist, ws_release looses workspace?

.removed does not exist, error:   mv ... No such file or directory

Error: could not remove workspace!

workspace still exists, DB entry gone.