ConvertVIDDTimeToDouble.php 463 Bytes
<?php

if ($argc < 2) {
	echo "[ERROR] Usage : php ".$argv[0]." ViId".PHP_EOL;
	exit(1);
}
$ViId = $argv[1];

if (!function_exists('__autoload'))
{
	function __autoload($class_name) {
		require_once $class_name . '.php';
	}
}

putenv("LD_LIBRARY_PATH=".getenv("LD_LIBRARY_PATH"));
putenv("PATH=./:".getenv("DDBASEBIN").":/bin:/usr/bin");
set_include_path("./:".getenv("DATAMANAGER"));



$baseMgr = new DDBaseMgr();

$baseMgr->convertVIDDTimeToDouble($ViId);

?>