| <?php | |
| require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php"); | |
| require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php"); | |
| require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php"); | |
| $App = new App(); | |
| $Nav = new Nav(); | |
| $Menu = new Menu(); | |
| include($App->getProjectCommon()); | |
| /******************************************************************************* | |
| * Copyright (c) 2009 Eclipse Foundation and others. | |
| * All rights reserved. This program and the accompanying materials | |
| * are made available under the terms of the Eclipse Public License v1.0 | |
| * which accompanies this distribution, and is available at | |
| * http://www.eclipse.org/legal/epl-v10.html | |
| * | |
| * Contributors: Glyn Normington | |
| * | |
| *******************************************************************************/ | |
| # Begin: page-specific settings. Change these. | |
| $pageTitle = "Virgo - Profiling"; | |
| $pageKeywords = "Eclipse, EclipseRT, Virgo, OSGi, History, origin, origins, about"; | |
| $pageAuthor = "Glyn Normington"; | |
| ob_start(); | |
| ?> | |
| <div id="midcolumn"> | |
| <h2>YourKit</h2> | |
| <p> | |
| We use YourKit for profiling Virgo. See the <a href="http://wiki.eclipse.org/Virgo/Diagnostics#Profiling">wiki</a> for more information. | |
| </p> | |
| <p> | |
| YourKit is kindly supporting open source projects with its full-featured Java Profiler. | |
| YourKit, LLC is the creator of innovative and intelligent tools for profiling | |
| Java and .NET applications. Take a look at YourKit's leading software products: | |
| <a href="http://www.yourkit.com/java/profiler/index.jsp">YourKit Java Profiler</a> and | |
| <a href="http://www.yourkit.com/.net/profiler/index.jsp">YourKit .NET Profiler</a>. | |
| </p> | |
| </div> | |
| <? | |
| $html = ob_get_clean(); | |
| # Generate the web page | |
| $App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html); | |
| ?> |