<?php
    //Si aun no se ha intentado refrescar:
    if (!isset($HTTP_SESSION_VARS["javascript_refreshed"]) || isset($HTTP_SESSION_VARS["javascript_refreshed"]) && !$HTTP_SESSION_VARS["javascript_refreshed"])
    {
        //Se setea la variable para indicar que ya se ha llamado a este archivo (ya se intento refrescar):
        $HTTP_SESSION_VARS["javascript_refreshed"] = TRUE;

        //Se define la url para hacer el refresco, en caso de soportar JavaScript:
        $javascript_url_refresh = $this_file . "?javascript_supported=enabled";

        //Si no soporta cookies, se agrega la ID de session en la url (para pasarla por GET):
        if (SID) { $javascript_url_refresh .= "&".session_name()."=".session_id(); }
        
        //Envia el codigo JavaScript para que se refresque la pagina:
        ?>
        <script language="JavaScript1.2" type="text/javascript">
        <!--
            if (screen && !isNaN(screen.width))
            {
                location.href="<?php echo $javascript_url_refresh; ?>&resolution_detected=" + screen.width;
            }
            else { location.href="<?php echo $javascript_url_refresh; ?>"; }
        //-->    
        </script>
        <?php
    }
    
    //Si se ha detectado JavaScript, se setea como tal:
    if (isset($HTTP_GET_VARS["javascript_supported"]) && strtolower(trim($HTTP_GET_VARS["javascript_supported"])) == "enabled")
    {
        $HTTP_SESSION_VARS["javascript_support"] = TRUE;
    }
    
    //Si soporta JavaScript, define la variable que no es global (para facilidad de uso):
    if (isset($HTTP_SESSION_VARS["javascript_support"]) && $HTTP_SESSION_VARS["javascript_support"])
    {
        $javascript_soportado = TRUE;
    }
?>
