server.c revision 8571e5ca3732d3ae954588c2aad40ae31a2bec90