<?php // $Id: redirector.php 10643 2008-07-10 12:04:06Z zefredz $
/**
 * CLAROLINE
 *
 * @version 1.8 $Revision: 10643 $
 * @copyright 2001-2008 Universite catholique de Louvain (UCL)
 *
 * @license http://www.gnu.org/copyleft/gpl.html (GPL) GENERAL PUBLIC LICENSE
 *
 * @see http://www.claroline.net/wiki/index.php/CLUSR
 *
 * @package CLKERNEL
 *
 * @author Claro Team <cvs@claroline.net>
 *
 */
 
die('---');

// duplicated from claro_main.lib.php to avoid loading unwanted functions.
/* function http_response_splitting_workaround( $str )
{
    $pattern = '~(\r\n|\r|\n|%0a|%0d|%0D|%0A)~';
    return preg_replace( $pattern, '', $str );
}

$url = isset( $_REQUEST['url'] )
    ? http_response_splitting_workaround( $_REQUEST['url'] )
    : '../'
    ;

header( 'Location: ' . $url ); */

?>