summaryrefslogtreecommitdiffstats
path: root/index.php
diff options
context:
space:
mode:
authorRomain d'Alverny <rda@mageia.org>2011-01-13 14:39:58 +0000
committerRomain d'Alverny <rda@mageia.org>2011-01-13 14:39:58 +0000
commitad5d7d954ed894a6648700d21ff96664afa6c754 (patch)
tree7b5f4617b5be45a35ccd64eb4d1f138a3023141a /index.php
parent7f2a6f5d8e5b38b0cb36154c0995b21ac84c5bf3 (diff)
downloadpkgsubmit-ad5d7d954ed894a6648700d21ff96664afa6c754.tar
pkgsubmit-ad5d7d954ed894a6648700d21ff96664afa6c754.tar.gz
pkgsubmit-ad5d7d954ed894a6648700d21ff96664afa6c754.tar.bz2
pkgsubmit-ad5d7d954ed894a6648700d21ff96664afa6c754.tar.xz
pkgsubmit-ad5d7d954ed894a6648700d21ff96664afa6c754.zip
do not index all reports in search engines
Diffstat (limited to 'index.php')
-rw-r--r--index.php16
1 files changed, 13 insertions, 3 deletions
diff --git a/index.php b/index.php
index 0e270fa..28cbfc2 100644
--- a/index.php
+++ b/index.php
@@ -10,9 +10,16 @@
error_reporting(E_ALL);
+$g_user = isset($_GET['user']) ? htmlentities(strip_tags($_GET['user'])) : null;
+
$upload_dir = '/home/schedbot/uploads';
$max_modified = 2;
$title = '<a href="http://mageia.org/">Mageia</a> build system status';
+$robots = 'index,nofollow,nosnippet,noarchive';
+if ($g_user) {
+ $title .= ' for ' . $g_user . "'s packages";
+ $robots = 'no' . $robots;
+}
$tz = new DateTimeZone('UTC');
# Temporary until initial mirror is ready
@@ -125,10 +132,13 @@ function key2date($key) {
return $diff . " day" . plural($diff) . " ago";
}
?>
+<!DOCTYPE html>
<html lang="en">
<head>
-<title><?php echo $title ?></title>
-<style type="text/css">
+ <meta charset="utf-8">
+ <title><?php echo $title ?></title>
+ <meta name="robots" content="<?php echo $robots; ?>">
+ <style type="text/css">
table {
border-spacing: 0;
font-family: Helvetica; font-size: 80%;
@@ -155,7 +165,7 @@ function key2date($key) {
tr.partial td.status-box { background: blue; }
tr.built td.status-box { background: #00ccff; }
tr.youri td.status-box { background: olive; }
-</style>
+ </style>
</head>
<body>
<h1><?php echo $title ?></h1>