Change name for centos
Signed-off-by: droy <denis.roy@eclipse.org>
diff --git a/monitor.php b/monitor.php
index 7b0fe2e..e2ec2a5 100644
--- a/monitor.php
+++ b/monitor.php
@@ -27,7 +27,7 @@
$error = "";
$valid = array("dev1", "dev2", "dev3",
- "egit", "ecf", "cdt", "mylyn", "ajdt", "birt", "foundation", "emft", "asterisk", "dsdp", "corona", "rap", "higgins", "hippfedora", "centos",
+ "egit", "ecf", "cdt", "mylyn", "ajdt", "birt", "foundation", "emft", "asterisk", "dsdp", "corona", "rap", "higgins", "hippfedora", "hippcentos",
"cdo", "scanserv", "epf", "babel", "xmpp", "torrent", "orion", "orionhub", "maven2", "repo", "news", "m2m", "polarsys", "gyrex", "lts1",
"puppet", "recommenders", "scada", "science", "sonar-vm1", "stardust", "locationtech", "rtsc", "varnish", "varnish2");
if(!in_array($_HOSTNAME, $valid)) {