Michael

Results 1 comments of Michael

I just found this issue report, after investigating stopped opengrok docker containers for 2-3 days. On my setup the issue occurs quite often, by which I mean every 1-2 hours....