<?php
/* 
 * Passerelle pour appeler le serveur autre que sur la plate-forme.
 * Utilisé quand l'interface d'admin des webservices est appelée depuis le poste client
 */

if (isset($_GET['destaddr']) && isset($_GET['idclient']) && isset($_GET['sigb'])) {
    echo file_get_contents('http://'.$_GET['destaddr'].'/webservices/serveur/serveur.php?idclient='.$_GET['idclient'].'&sigb='.$_GET['sigb'].'&action=infos');
}

?>
