cvs: php-master-web /manage mirrors.php
| From: | Gabor Hojtsy | Date: | Fri, 01 Aug 2003 10:18:34 +0000 |
| Subject: | cvs: php-master-web /manage mirrors.php | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-19699@lists.php.net to get a copy of this message | ||
goba Fri Aug 1 06:18:34 2003 EDT
Modified files:
/php-master-web/manage mirrors.php
Log:
Organize the mirror admin page a bit better, and put the legend
in place in advance, before the table is updated
Index: php-master-web/manage/mirrors.php
diff -u php-master-web/manage/mirrors.php:1.50 php-master-web/manage/mirrors.php:1.51
--- php-master-web/manage/mirrors.php:1.50 Wed Jun 18 13:24:01 2003
+++ php-master-web/manage/mirrors.php Fri Aug 1 06:18:34 2003
@@ -262,28 +262,32 @@
"ORDER BY country.name, hostname"
) or die("query failed");
?>
+<div id="resources">
+ <h1>Resources</h1>
+ <ul>
+ <li><a href="http://php.net/mirroring.php"
target="_blank">Guidelines</a></li>
+ <li><a href="mailto:mirrors@php.net">Mailing
list</a></li>
+ <li><a href="http://www.iana.org/cctld/cctld-whois.htm"
target="_blank">Country TLDs</a></li>
+ </ul>
+ <h1>Legend</h1>
+ <img src="/images/mirror_ok.png" /> Properly working<br />
+ <img src="/images/mirror_special.png" /> Special site<br />
+ <img src="/images/mirror_deactivated.png" /> Deactivated<br />
+ <img src="/images/mirror_error.png" /> Outdated or inaccessible<br />
+ <h1>Last check time</h1>
+ <?php echo gmdate("Y/m/d H:i:s", $checktime); ?> GMT
+</div>
+
<p>
- Be sure to read <a href="http://php.net/mirroring">http://php.net/mirroring</a>
- before adding any new mirror. New mirrors should follow the rules stated there.
- Also consult <a href="mailto:mirrors@php.net">mirrors@php.net</a> if
you are not
- sure that a mirror should be added / deleted.
-</p>
-<p>
- If you are unsure what is the TLD for a country, look at
- <a href="http://www.iana.org/cctld/cctld-whois.htm">http://www.iana.org/cctld/cctld-whois.htm</a>.
Note, that the DNS table for mirror sites is updated directly from this list, without
human intervention, so if you add/delete/modify a mirror, it will be reflected in the
DNS table automatically in a short time.
</p>
<p>
- Colors used in the table below: green = special, red = not active, blue = outdated or not working.
An automatically deactivated mirror cannot be activated manually. It will be activated after
the next run of the automatic check (if the mirror is all right). Deactivated mirror maintainers
get notices of the deactivation weekly. Manualy disabled mirrors are not checked by the
- bot, so they need some time after reactivated to get listed again.
-</p>
-<p>
- Last mirror check time: <?php echo gmdate("Y/m/d H:i:s", $checktime); ?> GMT.
Mirror checks are done
+ bot, so they need some time after reactivated to get listed again. Mirror checks are done
automatically every hour, there is no direct manual way to start a check.
</p>
<table border="0" cellspacing="1" width="100%">