Waits until workbench shell is active when deleting server module. Fixes #854