Commit 2bfda4012c92566e84de137a5fd9165051c6efc6

Nick Mathewson 2012-04-30T17:30:48

If a higher-priority event becomes active, don't continue running events of the current priority. Bug found by Ralph Castain.