Merge branch '9018-nodemanager-kill-instead-of-killpg' closes #9018
authorPeter Amstutz <peter.amstutz@curoverse.com>
Wed, 18 May 2016 15:00:59 +0000 (11:00 -0400)
committerPeter Amstutz <peter.amstutz@curoverse.com>
Wed, 18 May 2016 15:00:59 +0000 (11:00 -0400)
commitaea5300167770beb3cca6ad90e5ebb04da961416
tree5ddd64554035ae9359d04a5f068806d8dbb202b3
parentf2cb2d2f14c8509b7e06126fefead0da282ef2fd
parent440ad3c54a3a1f5dd8cbf4fc83eba36c9a3e5164
Merge branch '9018-nodemanager-kill-instead-of-killpg' closes #9018