[MIN] BaseXHTTP: server ping timeout increased