Tor crash

[Michael_google gmail_Gersten]

I had a server crash today.

I first shut down the Or-port, to try to let all connections close.
When it was time to actually say "Time to stop", I re-enabled the
Or-port, and then sent a sigint. (If I send sigint without first
re-enabling the or-port, Tor assumes that it should stop immediately,
without notifying the clients).

Tor crashed about a minute later. I don't know if it was related or not.
This is 1.2.17

Note: Even 50 minutes after closing my or port, I was still almost at
full bandwidth (I had just started to see a drop below full).

Sep 27 15:32:57 stbmac Tor[23808]: Received reload signal (hup).
Reloading config.\n
Sep 27 15:32:57 stbmac Tor[23808]: Closing no-longer-configured OR
listener on 0.0.0.0:9001\n
Sep 27 15:32:57 stbmac Tor[23808]: Closing old OR listener on 0.0.0.0:9001\n
Sep 27 16:22:59 stbmac Tor[23808]: Received reload signal (hup).
Reloading config.\n
Sep 27 16:22:59 stbmac Tor[23808]: Opening OR listener on 0.0.0.0:9001\n
Sep 27 16:23:00 stbmac Tor[23808]: Your Tor server's identity key
fingerprint is 'nsavaxBangKremvax 11E5 D291 5CE9 89C9 F258 1BEC A49A
127D 7022 AC15'\n
Sep 27 16:23:00 stbmac Tor[23808]: Now checking whether ORPort
76.175.149.74:9001 and DirPort 76.175.149.74:9030 are reachable...
(this may take up to 20 minutes -- look for log messages indicating
success)\n
Sep 27 16:23:07 stbmac Tor[23808]: Interrupt: will shut down in 240
seconds. Interrupt again to exit now.\n
Sep 27 16:24:10 stbmac Tor[23808]: Resolved "img9.imagepile.net" which
was already resolved; ignoring\n
Sep 27 16:24:10 stbmac Tor[23808]: eventdns: Nameserver
118.119.103.108 is back up\n
Sep 27 16:24:12 stbmac crashdump[25690]: tor crashed
Sep 27 16:24:12 stbmac crashdump[25690]: crash report written to:
/Users/Michael/Library/Logs/CrashReporter/tor.crash.log