ooici/coi-services — pull request #1338 by carueda (2013-09-20 19:17:25+00:00)
Title: rename "PLATFORM_AGENT_SHUTDOWN" -> "PLATFORM_AGENT_SHUTDOWN_CHILDREN" f...

...or the platform shutdown command.

https://jira.oceanobservatories.org/tasks/browse/OOIION-1303