Re: Problem with search engine on Danish mirror?

Thanks for the report. We already know about the problem, and are on fixing it. Most of the mirrors lack the manuals (online and downloadable versions) right now. Goba

Hi Seems to be some problem with the search engine on the Danish Mirror (dk.php.net) this afternoon. Query: The current query was 'preg_match' in the 'function list' (have tried with lots of other queries too). Error message: "Service not working The service you tried to access with the URL: /manual-lookup.php?pattern=preg_match is not available on this server right now. Please check back later, or if the problem persist, contact the webmasters." Puzzles me that the error message mentions 'manual-lookup.php' since I actually queried the 'function list' (but I guess both query scopes are handled by the same script). Time: It didn't work this morning, and neither this afternoon (GMT+1). Did, though, work occasionally at some point. Me: I use php.net on a daily basis (and the search engine), and am very pleased with and grateful for the service. I am not a web/php rookie. Yours sincerely, Jacob Friis Mathiasen, stud.it. +45 36 96 30 37