Modificaciones menores (de limpieza) en el codigo del servidor