No, potresti mettere all'inizio di ogni pagina un if

codice:
if (isset($SESSION['prefisso']))
  {
    $prefisso = $_SESSION['prefisso'];  
  }
else
  {
    $prefisso = 'http://server';
  }
Quindi crei una pagina da cui inserire il prefisso in un input e che salvi l'input in una variabile di sessione.

Il procedimento è un po' più laborioso ma dovrebbe funzionare.
Altriemnti la tua soluzione andava bene.
Basta fare uno switch sul remoto.
Se = 127.0.0.1 allora metti il prefisso server altrimenti l'altro (almeno più o meno dovrebbe funzionare così).