Commit 6b4b77a26590f862dff5b490630d2a4b1ea994cd

Nick Mathewson 2009-07-14T16:54:48

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