closing workspace on failure not possible
if a connection to a workspace can not be established it is not possible to disconnect the workspace. The workspace button is inactive (gray) so no menu entries can be selected
(from redmine: issue id 1660, created on 2014-04-10 by Christian.Glaser, closed on 2014-09-17)
- Relations:
- parent #1600