Merge from trunk. Kills procs in sliver rather than restarting context.
authorFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Wed, 19 Nov 2008 17:11:53 +0000 (17:11 +0000)
committerFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Wed, 19 Nov 2008 17:11:53 +0000 (17:11 +0000)

No differences found