ripple/gatewayd — pull request #269 by ninobrooks (2014-09-06 15:59:02+00:00)
Title: Update process_manager.js

(temporary?) fix for https://github.com/ripple/gatewayd/issues/268