php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #63500 Portuguese mirror with problems
Submitted: 2012-11-13 10:13 UTC Modified: 2012-11-16 22:30 UTC
From: hgf at microeuropa dot pt Assigned: bjori (profile)
Status: Closed Package: Website problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
Package:
Bug Type:
Summary:
From: hgf at microeuropa dot pt
New email:
PHP Version: OS:

 

 [2012-11-13 10:13 UTC] hgf at microeuropa dot pt
Description:
------------
Hi,

Since you guys changed the mirror for the portuguese (pt.php.net) mirror
of the documentation/website it never worked correctly. 
First http://pt.php.net will show publicity to www.dominios.pt, that is
immoral, after the links will no work as it expected, take a look in

http://pt.php.net/mysql
http://pt.php.net/contact.php

Please check this problem ASAP because the direct access to the functions
documention is a must needed feature of this website. We use the pt.php.net
because is faster and takes trafic out of the main site.

Cheers,
Hugo Ferreira


Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2012-11-13 22:20 UTC] bjori@php.net
-Status: Open +Status: Verified
 [2012-11-13 22:20 UTC] bjori@php.net
I've disabled that mirror temporarly, please use http://pt2.php.net/ in the 
meanwhile
 [2012-11-15 20:14 UTC] nlopess@php.net
-Status: Verified +Status: Assigned -Assigned To: +Assigned To: bjori
 [2012-11-15 20:14 UTC] nlopess@php.net
It seems pt.php.net is working fine now. Hannes: can you please reenable it again?
BTW, pt2 is down at the moment..
 [2012-11-15 22:39 UTC] bjori@php.net
No its not... it lists other projects the host on the frontpage..
I don't think the server is setup to listen to "pt.php.net" properly, only 
"ptX.php.net"
 [2012-11-15 23:19 UTC] nlopess@php.net
I'm probably missing something.
What's the exact URL that is giving trouble?
If there's something buggy left, do you want me to contact the mirror's admin?
 [2012-11-15 23:55 UTC] bjori@php.net
$ wget --header "Host: pt.php.net" php.dominios.pt -q -O - | head
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" 
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>Mirrors Domínios.PT</title>



As for my earlier comment, I meant to say "pt1.php.net".
Now that pt2 dns has however been disabled, pt.php.net should be working fine 
round robining only to pt1.php.net.

I've already contacted the mirror maintainer
 [2012-11-16 16:16 UTC] nlopess@php.net
Ah, sorry, I didn't know that pt.php.net was already a round-robin.
 [2012-11-16 21:18 UTC] cjsantos at flesk dot com
Hi,

Our mirror was only configured to pt2.php.net and not pt.php.net.

Problem is fixed, please check.

Sorry for the trouble.

Thanks,
Carlos Santos
 [2012-11-16 22:30 UTC] bjori@php.net
-Status: Assigned +Status: Closed
 
PHP Copyright © 2001-2025 The PHP Group
All rights reserved.
Last updated: Sun Nov 23 05:00:01 2025 UTC