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.


---

Reply via email to