fixed small bug in server.c