/**
* Set the current ESAPI Executor object being used to safely execute OS
* commands for this application.
*
* @param Executor $executor the new ESAPI Executor.
*
* @return does not return a value.
*/
public static function setExecutor($executor)
{
self::$_executor = $executor;
}
