} if (DEBUG_SERVER) { $firephp->dump('SERVER', $_SERVER); } if (DEBUG_CONST) { $tab_constantes = get_defined_constants(TRUE); $firephp->dump('CONSTANTES', $tab_constantes['user']); } } } // ============================================================================ // URL de base du serveur // ============================================================================ $host = getServerUrl(); define('HOST', $host); define('URL_BASE', getServerProtocole() . $host . getServerPort($host)); // ============================================================================ // Type de serveur (LOCAL|DEV|PROD) // ============================================================================ // On ne peut pas savoir avec certitude si un serveur est "local" car aucune méthode ne fonctionne à tous les coups : // - $_SERVER['HTTP_HOST'] peut ne pas renvoyer localhost sur un serveur local (si configuration de domaines locaux via fichiers hosts / httpd.conf par exemple). // - gethostbyname($_SERVER['HTTP_HOST']) peut renvoyer "127.0.0.1" sur un serveur non local car un serveur a en général 2 ip (une publique - ou privée s'il est sur un lan - et une locale). // - $_SERVER['SERVER_ADDR'] peut renvoyer "127.0.0.1" avec nginx + apache sur 127.0.0.1 ... if (mb_strpos(URL_BASE, 'localhost') || mb_strpos(URL_BASE, '127.0.0.1') || mb_strpos(URL_BASE, '.local')) { $serveur_type = 'LOCAL'; } elseif (mb_strpos(URL_BASE, '.sesamath.net:8080') || mb_strpos(URL_BASE, '.sesamath.net:8443')) { $serveur_type = 'DEV'; } else { $serveur_type = 'PROD'; } define('SERVEUR_TYPE', $serveur_type);
exit; } else { printf("Successfully connected to MySQL Server, database {$database}.\n<br>"); } if ($handle) { // Reset the input file to the beginning and get the Server properties fseek($handle, 0); while (($line = fgets($handle)) !== false) { if (preg_match('/udp\\/ip /', $line)) { $serverPrivIP = getServerPrivIP($line); getServerPubIP($line); $serverPort = getServerPort($line); if ($debug > 2) { echo "Server Private IP: " . getServerPrivIP($line) . "\n<br>"; echo "Server Public IP: " . getServerPubIP($line) . "\n<br>"; echo "Server Port: " . getServerPort($line) . "\n<br>"; } $serverIdQuery = 'select serverId from hlstats_Servers where address = "' . $serverPrivIP . '" and port = "' . $serverPort . '"'; $serverIdResults = $link->query($serverIdQuery); if ($serverIdResults->num_rows > 0) { $row = $serverIdResults->fetch_assoc(); $serverId = $row["serverId"]; } else { echo "Unable to retreive Server ID from database.<br>"; exit; } if ($debug > 2) { echo "Server ID: " . $serverId . "<br>"; } break; }