Improve progress box when exception happens

Author: Jack251970

Plugins/Flow.Launcher.Plugin.PluginsManager/PluginsManager.cs

@@ -145,6 +145,7 @@ internal async Task InstallOrUpdateAsync(UserPlugin plugin)
             var filePath = Path.Combine(Path.GetTempPath(), downloadFilename);
 
             var downloadCancelled = false;
+            var exceptionHappened = false;
             try
             {
                 if (!plugin.IsFromLocalInstallPath)
@@ -168,8 +169,10 @@ await Context.API.ShowProgressBoxAsync(prgBoxTitle,
                             {
                                 if (reportProgress == null)
                                 {
-                                    // cannot use progress box
-                                    await Http.DownloadAsync(plugin.UrlDownload, filePath).ConfigureAwait(false);
+                                    // when reportProgress is null, it means there is expcetion with the progress box
+                                    // so we record it with exceptionHappened and return so that progress box will close instantly
+                                    exceptionHappened = true;
+                                    return;
                                 }
                                 else
                                 {
@@ -200,6 +203,11 @@ await Context.API.ShowProgressBoxAsync(prgBoxTitle,
                                 cts.Cancel();
                                 downloadCancelled = true;
                             });
+
+                        // if exception happened while downloading and user does not cancel downloading,
+                        // we need to redownload the plugin
+                        if (exceptionHappened && (!downloadCancelled))
+                            await Http.DownloadAsync(plugin.UrlDownload, filePath).ConfigureAwait(false);
                     }
                     else
                     {