pivotal_export.php

<?php
if (!isset($_SERVER['PHP_AUTH_USER']) || !isset($_SERVER['PHP_AUTH_PW'])) header('WWW-Authenticate: Basic realm="Please enter username and password:"');
else if (auth_attempt_script_login($_SERVER['PHP_AUTH_USER'], $_SERVER['PHP_AUTH_PW'])) {
	auth_ensure_user_authenticated();
	if (!$_GET['project']) die("missing parameters");

	require_once( 'core.php' );

	$t_core_path = config_get( 'core_path' );