-trying to fix #5817
authorChristian Grothoff <christian@grothoff.org>
Wed, 9 May 2012 11:55:09 +0000 (11:55 +0000)
committerChristian Grothoff <christian@grothoff.org>
Wed, 9 May 2012 11:55:09 +0000 (11:55 +0000)
commitbb2507185699fa50df901d71a068ec1ea74ff236
tree2899e01eaf87bba8dd22c8284289380deedc5a23
parentb4a29413ffa9cf01043a10747498e79455e1aa7f
-trying to fix #5817
src/util/server.c