Removed optimization pragmas from module Server.