/**
* Identifies a specific execution of php. That might be one web
* request, or multiple jobs run in the same executor. An execution id
* is valid over a brief timespan, perhaps a minute or two for some jobs.
*
* @return integer unique identifier
*/
private static function getExecutionId()
{
if (self::$executionId === null) {
self::$executionId = mt_rand();
}
return self::$executionId;
}
/**
* Unit tests only
*/
public static function resetExecutionId()
{
self::$executionId = null;
}
