update ping. Part 1: delete old version

1 files changed, 0 insertions, 54 deletions

diff --git a/buildscripts/phing/bin/phing.php b/buildscripts/phing/bin/phing.php
deleted file mode 100644
index 7d0a774a..00000000
--- a/buildscripts/phing/bin/phing.php
+++ /dev/null
@@ -1,54 +0,0 @@
-<?php
-
-/**
- * This is the Phing command line launcher. It starts up the system evironment
- * tests for all important paths and properties and kicks of the main command-
- * line entry point of phing located in phing.Phing
- * @version $Revision: 1.7 $
- */
-
-// Set any INI options for PHP
-// ---------------------------
-
-ini_set('track_errors', 1);
-
-/* set classpath */
-/*
-if (getenv('PHP_CLASSPATH')) {
-//    define('PHP_CLASSPATH',  getenv('PHP_CLASSPATH') . PATH_SEPARATOR . get_include_path());
-    define('PHP_CLASSPATH',  realpath(dirname(__FILE__).'/../classes') . PATH_SEPARATOR . get_include_path());
-    ini_set('include_path', PHP_CLASSPATH);
-} else {
-    define('PHP_CLASSPATH',  get_include_path());
-}
-*/
-define('PHP_CLASSPATH',  realpath(dirname(__FILE__).'/../classes') . PATH_SEPARATOR . get_include_path());
-ini_set('include_path', PHP_CLASSPATH);
-
-require_once 'phing/Phing.php';
-
-/* Setup Phing environment */
-Phing::startup();
-
-/*
-  find phing home directory
-   -- if Phing is installed from PEAR this will probably be null,
-   which is fine (I think).  Nothing uses phing.home right now.
-*/
-Phing::setProperty('phing.home', getenv('PHING_HOME'));
-
-
-/* polish CLI arguments */
-$args = isset($argv) ? $argv : $_SERVER['argv']; // $_SERVER['argv'] seems not to work when argv is registered (PHP5b4)
-array_shift($args); // 1st arg is script name, so drop it
-
-/* fire main application */
-Phing::fire($args);
-
-/*
-  exit OO system if not already called by Phing
-   -- basically we should not need this due to register_shutdown_function in Phing
- */
- Phing::halt(0);
-
-?>
\ No newline at end of file