Problem: server destruction was still wrong