server: Fix undefined behavior in destructors

Issue: #126
server: Remove redundant return in Workspace

Issue: #126