patch for time out bug
authorMatthias Wachs <wachs@net.in.tum.de>
Wed, 22 Jun 2011 12:20:33 +0000 (12:20 +0000)
committerMatthias Wachs <wachs@net.in.tum.de>
Wed, 22 Jun 2011 12:20:33 +0000 (12:20 +0000)
commit2b14bddb1076b5902c1f3dac24ba3f231a957dd7
tree40d25150f7bf7ca23319e2f48e5053d19019277f
parent83965c602cb557f08b094f1c160faf7b8101bcf3
patch for time out bug
src/util/server.c