<?php
/*******************************************************************************
 * Copyright (c) 2013 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:
 *    Wayne Beaton (Eclipse Foundation)- initial API and implementation
 *******************************************************************************/
if (isset($_GET['id'])) $id = $_GET['id'];
else if (isset($_GET['projectid'])) $id = $_GET['projectid'];

if (isset($id))
	header("Location:http://projects.eclipse.org/projects/$id");
else
	header("Location:http://projects.eclipse.org/list-of-projects");
?>