Asignar puerto en url

[xSkArx]

Estas un poco desorientado, los puertos van despues del dominio, no despues del archivo,
No.se como tengas el txt donde.guardas las ip pero yo haria algo asi, por defecto todas las web usan el puerto 80, aunque no se "vea" se usa ese, yo guardaria las ip de esta.forma

Código txt:

12.7.0.0.1:puerto
 

y al leer el contenido del fichero mi.variable quedaria asi

Código PHP:

$ip=file_get_contents("archivo.txt");//127.0.0.1:puerto
 

Despues accederia a dicho puerto por url "camara.php?puerto=3306"
Y rl archivo continuaria asi

Código PHP:

$ip=blablabla;
$puerto=isset($_GET['puerto'])?$_GET['puerto']:80;
$ip=str_replace(":puerto",$puerto,$ip);
header("location:$ip");
exit();