[GitHub] incubator-crail pull request #27: Scripts: fix log/pid file for multiple dat...

[PepperJo]

Github user PepperJo closed the pull request at:

    https://github.com/apache/incubator-crail/pull/27


---