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.---