Added optimization pragmas to module Server.