Use 10041 instead of 3000 as the port number of the HTTP server.

It is the default port number of Groonga.