Resumable scan through keys

Hi, I am trying to process keys on server in this batch pattern.

var cursor = 0;
do
{
    var keyBatch = await GetKeysAsync(cursor);
    foreach (var key in keyBatch)
    {
        ProcessKey(key);
    }
    cursor = keyBatch.NextCursor;
} while (cursor != 0);

How can I achieve this behaviour using IServer and IScanningCursor? This does not work.

var cursor = 0L;
do
{
    var counter = 0;
    var keys = server.KeysAsync(1, "user:*", 1000, cursor);
    await foreach (var key in keys)
    {
        counter++;
    }
    Console.WriteLine($"{cursor}, {counter}");

    cursor = ((IScanningCursor) keys).Cursor;
} while (cursor != 0);

Inizia dal punto di ingresso IServer.KeysAsync e dall’interfaccia IScanningCursor menzionati negli esempi, quindi traccia come viene esposto il cursore dopo l’enumerazione asincrona. Riproduci il ciclo batch su Redis e confronta il cursore osservato con il comportamento di continuazione previsto; il lavoro è completato quando viene stabilito il comportamento di scansione riprendibile previsto oppure viene documentata la discrepanza.