cleaner timeout handling
authorChristian Grothoff <christian@grothoff.org>
Thu, 20 May 2010 12:38:02 +0000 (12:38 +0000)
committerChristian Grothoff <christian@grothoff.org>
Thu, 20 May 2010 12:38:02 +0000 (12:38 +0000)
commitfa2482c1bab22c2dbdc31fad4e7dae0154d23cda
tree997ab208b2a8b3c2bc0d8ca854f25846700063d5
parent15232a7da17948866bd1a05ac9a15d7fca3351fe
cleaner timeout handling
src/core/core_api.c