commit 41db6bc6b762b0b5cebab2aada0fbefee90b1fb0
author nickb <nickb> Thu Jul 31 20:05:48 2008 +0000
committer nickb <nickb> Thu Jul 31 20:05:48 2008 +0000
tree 4cc358aa0afe22cdbd1fed2fd21e8e44eddbf585
parent 50a31ca1bc4fcbf19443c4e56d021c32089ee4fe

[242450]

build/index.php

diff --git a/build/index.php b/build/index.php
index a63c1fc..1aa8610 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;
 require_once ($_SERVER['DOCUMENT_ROOT'] . "/modeling/includes/scripts.php");
 require_once($_SERVER['DOCUMENT_ROOT'] . "/modeling/emf/emf/build/_common.php");