From 99fd8d123214a25ca2c8f99805ab870011d58431 Mon Sep 17 00:00:00 2001 From: Hongtao Zhang Date: Thu, 27 Oct 2022 11:38:05 -0500 Subject: [PATCH] Dispose Stream (though it maybe already disposed by disposed the response) --- Flow.Launcher.Core/ExternalPlugins/PluginsManifest.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Flow.Launcher.Core/ExternalPlugins/PluginsManifest.cs b/Flow.Launcher.Core/ExternalPlugins/PluginsManifest.cs index b735e95e7..e3f0e2a2f 100644 --- a/Flow.Launcher.Core/ExternalPlugins/PluginsManifest.cs +++ b/Flow.Launcher.Core/ExternalPlugins/PluginsManifest.cs @@ -35,7 +35,7 @@ namespace Flow.Launcher.Core.ExternalPlugins { Log.Info($"|PluginsManifest.{nameof(UpdateManifestAsync)}|Fetched plugins from manifest repo"); - var json = await response.Content.ReadAsStreamAsync(token).ConfigureAwait(false); + await using var json = await response.Content.ReadAsStreamAsync(token).ConfigureAwait(false); UserPlugins = await JsonSerializer.DeserializeAsync>(json, cancellationToken: token).ConfigureAwait(false);