Fixed the error "ps: write error: Bad file descriptor"

Fixed the error "ps: write error: Bad file descriptor" during server startup, as already fixed in the carbon 4 kernel (see https://wso2.org/jira/browse/CARBON-14477);