Investigate April 9 ides crash
ides crashed multiple times on April 9, 2011 (see #2954 (moved) for the circumstances). Mike Perry had to investigate it immediately; the crashes stopped when he made the cached-microdescs
and cached-microdescs.new
files inaccessible to Tor.