private static function ConfigurationName()
{
if (empty(self::$configurationName)) {
if (defined("PHALANGER")) {
@date_default_timezone_set('UTC');
self::$configurationName = "Phalanger/" . (System\Environment::$Is64BitProcess ? "x64" : "x86");
self::$configurationName .= "/" . date("Ymd");
// TODO: changeset number (.rev.build)
} else {
self::$configurationName = "PHP " . PHP_VERSION;
}
//self::$configurationName .= strtoupper(php_uname('n'));
}
return self::$configurationName;
}