Update server.ml : minor bugs fixed (part 2)