The problem is fixed.

I am sorry. The previous message was for previous fix.
I should have noticed the problem earlier.

Shortly after I received your message, I restarted the server and I sent out a message to everybody that the server was restarted.
But I have just found that this ticket is still open.
So I’m writing this comment and closing the ticket.