Author :
Nick Mathewson
Date :
2009-07-14 16:54:48
Hash :6b4b77a2 Message :Make event_del(E) block while E is running in another thread.
This gives you the property that once you have called event_del(E),
you know that E is no longer running or pending or active at all, and
so it is safe to delete the resource used by E's callback.
svn:r1341