mark timeout task as done if it is run, fixes #3171
authorChristian Grothoff <christian@grothoff.org>
Sun, 8 Dec 2013 21:06:12 +0000 (21:06 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sun, 8 Dec 2013 21:06:12 +0000 (21:06 +0000)
commitd7991f895b89b39d06d60a6f71859616d2b71819
treea3e42f23860df3de56038d0e4923df0d2935904e
parentc544c71578c4557722aae8c4f0f359decd38f689
mark timeout task as done if it is run, fixes #3171
src/set/gnunet-service-set.c