Github user mebelousov commented on the issue: https://github.com/apache/zeppelin/pull/2716 @woowahan-jaehoon thank you! Perhaps #2780 will delete all unused pid files and you can add the port to the pid filename.
---
Github user mebelousov commented on the issue: https://github.com/apache/zeppelin/pull/2716 @woowahan-jaehoon thank you! Perhaps #2780 will delete all unused pid files and you can add the port to the pid filename.
---