¿Cuál variable quieres editar? ¿$rr->address? ¿Que valor tiene?
Mientras si lo que deseas es convertir
http://127.0.0.1:80 a
http://[127.0.0.1]:80 puedes hacer algo como
Código PHP:
Ver original<?php
$str = 'http://fe80::1';
$str = preg_replace('/^http:\/\/(.+).*/', 'http://[$1]:80', $str); echo $str; // imprime http://[fe80::1]:80
Tomé el ejemplo que posteo la documentación, pero hay que ver los diferentes ejemplos de lo que puede ocurrir.
Edito: Ups, veo que lo resolviste
