increase timeout to fix #1872:
authorChristian Grothoff <christian@grothoff.org>
Thu, 3 Nov 2011 13:28:59 +0000 (13:28 +0000)
committerChristian Grothoff <christian@grothoff.org>
Thu, 3 Nov 2011 13:28:59 +0000 (13:28 +0000)
commit6645955c3443872bdf240261728327715630a8b9
treedf458f99d4c647937c5a7372b55b5b9ed8c34965
parent2fbce9fa99ecd721ad54f8f1a1fe25a6d782df1f
increase timeout to fix #1872:
src/util/test_server.c