ObjectLock::generateLockToken

static function generateLockToken()
{
	if (function_exists('uuid_create'))
	{
		return uuid_create();
	}
	else
	{
		$uuid = md5(microtime().getmypid());

		$uuid[12] = '4';
		$n = 8 + (ord($uuid[16]) & 3);
		$hex = '0123456789abcdef';
		$uuid[16] = substr($hex, $n, 1);

		return substr($uuid, 0, 8).'-'.
			substr($uuid, 8, 4).'-'.
			substr($uuid, 12, 4).'-'.
			substr($uuid, 16, 4).'-'.
			substr($uuid, 20);
	}
}