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);

Beginnen Sie mit dem in den Beispielen erwähnten Einstiegspunkt IServer.KeysAsync und der Schnittstelle IScanningCursor. Verfolgen Sie anschließend, wie der Cursor nach der asynchronen Enumeration bereitgestellt wird. Reproduzieren Sie die Batch-Schleife gegen Redis und vergleichen Sie den beobachteten Cursor mit dem erwarteten Fortsetzungsverhalten; als erledigt gilt die Aufgabe, wenn das beabsichtigte fortsetzbare Scan-Verhalten festgestellt oder die Abweichung dokumentiert ist.