fixes a bug in disabling dead servers