Could not contact LeanSearch server.

Stream: lean4

[Tristan]

I would like to ask how to resolve the issue "#leansearch Could not contact LeanSearch server ".
It was working before, and the web interface can connect, but it doesn't work in Lean. My Lean version is 4.16.0.
bug shot.png