revactor: graceful exit if a listening actor dies
commit756c060f2992d35e30249688f1cfab8de9b4dfc1
authorEric Wong <normalperson@yhbt.net>
Sun, 4 Oct 2009 10:23:57 +0000 (4 03:23 -0700)
committerEric Wong <normalperson@yhbt.net>
Sun, 4 Oct 2009 10:25:27 +0000 (4 03:25 -0700)
tree5a59f9b5b4ec16835a2320b57282ce447042c2f0
parent4b52a167cfb7ea1d1d663844028dcde2d4536223
revactor: graceful exit if a listening actor dies

It's usually a bad sign if we have unhandled exceptions in
the listener loops, so we'll exit just in case.
lib/rainbows/revactor.rb