added server destructors