Error while writing: write tcp 172.18.0.2:8080->172.27.65.10:58088: write: broken pipe

[junghc (hc)]

Hi @FaxBoy @maaft
Have you solved it please? I also have this problem now.