added server destructor