Update server.pp

added changes for 1.4.2 to manifest