Made a slight tweak to the server code for reading the genmap file.