gistfile1.php

<?php

function getNextToken() {
	$select = null;
	$redisKey = 'current_token_id';
	$tokenFilename = SYSTEM_DIR.'/tokens_checked.txt';
	$file = file($tokenFilename, FILE_SKIP_EMPTY_LINES|FILE_IGNORE_NEW_LINES);
	if ($file) {
		$fileCount = count($file);
		if ($fileCount) {
			$redis = new Redis();
			//$redis->connect('/tmp/redis.sock');
			$redis->connect('127.0.0.1', 6379);
			$tokenId = $redis->get($redisKey);
			if (!$tokenId OR !isset($file[$tokenId])) {
				$tokenId = 0;
			}
			$select = $file[$tokenId];
			$tokenId++;
			$redis->set($redisKey, $tokenId);
		}
	}
	return $select;
}