Gartner Says Worldwide Server Revenue Declined 5.8 Per Cent In Third Quarter