correct server.c file