Update badbuf_server.c