Merge pull request #274 from suleymanbyzt/develop

Snapshot file handle not closed in RestoreAsync causes delete error on Windows

Author: sakno

src/examples/RaftNode/StateMachine.cs

@@ -23,8 +23,14 @@ public StateMachine(IConfiguration config)
 
     protected override async ValueTask RestoreAsync(FileInfo snapshotFile, CancellationToken token)
     {
-        var handle = File.OpenHandle(snapshotFile.FullName, options: FileOptions.Asynchronous);
-        var buffer = new byte[sizeof(long)];
+        byte[] buffer = new byte[sizeof(long)];
+        using var handle = File.OpenHandle(
+            snapshotFile.FullName,
+            FileMode.Open,
+            FileAccess.Read,
+            FileShare.ReadWrite | FileShare.Delete,
+            FileOptions.Asynchronous | FileOptions.SequentialScan);
+
         await RandomAccess.ReadAsync(handle, buffer, fileOffset: 0L, token).ConfigureAwait(false);
         Value = BinaryPrimitives.ReadInt64LittleEndian(buffer);
     }
@@ -60,4 +66,4 @@ static long ToInt64(in ReadOnlySequence<byte> sequence)
             return BinaryPrimitives.ReadInt64LittleEndian(buffer);
         }
     }
-}
+}