| <?php |
| |
| # allows server-specific path assignment, eg., for build.eclipse.org |
| $isBuildDotEclipseServer = $_SERVER["SERVER_NAME"] == "build.eclipse.org"; |
| if ($isBuildDotEclipseServer) |
| { |
| if (isset ($_GET["debug"])) |
| { |
| ini_set('display_errors', 1); |
| ini_set('error_reporting', E_ALL); |
| } |
| |
| $docRootOverrides = array ( |
| "/opt/public/modeling", # list first in order for versionaudit.php to work; mysql connection issue? |
| "/opt/public/cbi", |
| "/opt/public/modeling/public_html", |
| |
| ); |
| foreach ($docRootOverrides as $dr) |
| { |
| if (is_dir($dr)) |
| { |
| $_SERVER['DOCUMENT_ROOT'] = $dr; |
| break; |
| } |
| } |
| } |
| ?> |