Example #1
0
 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;
 }