<?php
$addr='https://cerc.tcs.uj.edu.pl/2014';
$timeout=5;
$permanent=true;
$location=true;
$refresh=true;

if ($location) {
  if ($permanent) {
    header('HTTP/1.1 301 Moved Permanently');
  }
  header('Location: ' . $addr);
}
$ref=''.$timeout.';url='.$addr;
if ($refresh) {
  header('Refresh: '.$ref);
}

$addr=htmlspecialchars($addr);
$ref=htmlspecialchars($ref);
$permanent=($permanent)?" permanently":"";
?>
<!doctype html>
<html>
<head>
<title>Page moved<?echo $permanent;?></title>
<?if ($location) {?>
<meta http-equiv="Location" content="<?echo $addr;?>" />
<?}?>
<?if ($refresh) {?>
<meta http-equiv="Refresh" content="<?echo $ref;?>" />
<?}?>
<style>a { font-family: monospace; }</style>
</head>
<body>
<p>Page moved<?echo $permanent;?> to <a href="<?echo $addr;?>"><?echo $addr;?></a>.</p>
</body>
</html>

