cannot access opengrok.libreoffice.org (but ping works)
himajin100000 at gmail.com
Tue Jul 21 12:50:23 UTC 2020
Seemed I had a network trouble on my side, not the opengrok side.
I noticed that when I connect to the server with my smartphone, and I
was able to do so. I restarted the ONU and router device, and confirmed
that I can connect to the server now!
> In such circumstances it is advised to just use git grep or whichever
> grepping tool you like best against your local clone of the source code.
Thank you for the information!
More information about the LibreOffice