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);
?>