Fixed the error "ps: write error: Bad file descriptor" during server startup, as described at https://wso2.org/jira/browse/CARBON-14477;