<?php
/*-Old-URL-Check -*/
  
   $url  = 'http://'.$_SERVER['HTTP_HOST'].$_SERVER['REQUEST_URI']; 

   if
     (stristr($url,"sardinia")    ) 
       if
        (stristr($url,"spip1.82ds")    ) ;
       else {
        $url = str_replace("spip1.82d", "spip1.82ds", $url);
        $url = str_replace("articlex", "article", $url);
        /* echo ($url); */
        header("Location: $url\n\n"); 
        exit;
        }
/*----*/

 include("Xprotector/include/Xprotect.php");
$fond = "rubrique";
// $delais = 2 * 3600;
$delais = 0; /* wegen Kalender, ev. rubrique_tpl cachen */ 

include ("inc-public.php3");

?>