commit 7f0b4fd65bef2f908a749fdadfd36cff0624b81b
author nickb <nickb> Fri Oct 24 19:41:12 2008 +0000
committer nickb <nickb> Fri Oct 24 19:41:12 2008 +0000
tree fc58b164d97c2cb5ecfdf1fa699a7880cd190fc4
parent 69d0f80b18199af5bf74c893da24dcc5f3bd9eda

add modeling.eclipse.org to the pool of "build servers"

_projectCommon.php

diff --git a/_projectCommon.php b/_projectCommon.php
index 75a2909..7c34fd2 100644
--- a/_projectCommon.php
+++ b/_projectCommon.php
@@ -5,7 +5,7 @@
 $PR = "emf";
 
 $isEMFserver = (preg_match("/^emf(?:\.torolab\.ibm\.com)$/", $_SERVER["SERVER_NAME"]));
-$isBuildServer = (preg_match("/^(emft|build)\.eclipse\.org$/", $_SERVER["SERVER_NAME"])) || $isEMFserver;
+$isBuildServer = (preg_match("/^(emft|modeling|build)\.eclipse\.org$/", $_SERVER["SERVER_NAME"])) || $isEMFserver;
 $isBuildDotEclipseServer = $_SERVER["SERVER_NAME"] == "build.eclipse.org";
 $isWWWserver = (preg_match("/^(?:www.|)eclipse.org$/", $_SERVER["SERVER_NAME"]));
 $isEclipseCluster = (preg_match("/^(?:www.||download.|download1.|build.)eclipse.org$/", $_SERVER["SERVER_NAME"]));

build/index.php

diff --git a/build/index.php b/build/index.php
index 3e3194e..5d8ab94 100644
--- a/build/index.php
+++ b/build/index.php
@@ -1,6 +1,6 @@
 <?php
 $isEMFserver = (preg_match("/^emf(?:\.torolab\.ibm\.com)$/", $_SERVER["SERVER_NAME"]));
-$isBuildServer = (preg_match("/^(emft|build)\.eclipse\.org$/", $_SERVER["SERVER_NAME"])) || $isEMFserver;
+$isBuildServer = (preg_match("/^(emft|modeling|build)\.eclipse\.org$/", $_SERVER["SERVER_NAME"])) || $isEMFserver;
 require_once ($_SERVER['DOCUMENT_ROOT'] . "/modeling/includes/scripts.php");
 require_once($_SERVER['DOCUMENT_ROOT'] . "/modeling/emf/emf/build/_common.php");