/** * 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; }