server.c portno as arg