Problem with the manual
| From: | Trond Arve Nordheim | Date: | Thu, 13 Dec 2001 11:06:30 +0000 |
| Subject: | Problem with the manual | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-7817@lists.php.net to get a copy of this message | ||
Hi!
I'm having some problems with the manual at no2.php.net.
http://no2.php.net/manual/index.php returns this:
Warning: stat failed for no (errno=2 - No such file or directory) in
/home/www/n/nordheim/php/manual/index.php on line 5
Warning: Cannot add header information - headers already sent by
(output started at /home/www/n/nordheim/php/manual/ index.php:5) in
/home/www/n/nordheim/php/manual/index.php on line 8
it tries to check if the dir $lang (defined by default_language()), in
this case beeing "no", exists.. and it doesn't...
First of all, shouldn't there be a no-directory here? If not, perhaps
prevent any output from the is_dir-function on line 5 on
/manual/index.php so this error doesn't occur?
--
Trond Arve Nordheim
- "This message is ROT13-encrypted twice for extra security."