Fix type conversion error in killServer