Merge pull request #5039 from adityamandaleeka/sigterm_chaining
authorAditya Mandaleeka <adityamandaleeka@users.noreply.github.com>
Wed, 18 May 2016 21:51:05 +0000 (14:51 -0700)
committerAditya Mandaleeka <adityamandaleeka@users.noreply.github.com>
Wed, 18 May 2016 21:51:05 +0000 (14:51 -0700)
Put SIGTERM registration behind a PAL initialization flag


Trivial merge