diff options
author | Lluis Sanchez <lluis@xamarin.com> | 2022-10-28 16:46:07 +0300 |
---|---|---|
committer | Lluis Sanchez <lluis@xamarin.com> | 2022-10-28 16:46:07 +0300 |
commit | fb4a5ffd48e2414730d7ad7dacd542743725fd23 (patch) | |
tree | 223154ffd643d3ecf0c3da2fef44ea41bfd5e34f | |
parent | 4361654c5937d4c19cf70e43e0d515fb21866ea5 (diff) |
Fix uninstallation issue
When registering an add-in for uninstall, the list of add-in's files was not stored.
-rw-r--r-- | Mono.Addins/Mono.Addins.Database/DatabaseConfiguration.cs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Mono.Addins/Mono.Addins.Database/DatabaseConfiguration.cs b/Mono.Addins/Mono.Addins.Database/DatabaseConfiguration.cs index fa208d0..6eaa301 100644 --- a/Mono.Addins/Mono.Addins.Database/DatabaseConfiguration.cs +++ b/Mono.Addins/Mono.Addins.Database/DatabaseConfiguration.cs @@ -77,11 +77,12 @@ namespace Mono.Addins.Database return copy; } - public AddinStatus AsUninstalled () + public AddinStatus AsUninstalled (ImmutableArray<string> oldAddinFiles) { var copy = Copy (); copy.ConfigEnabled = false; copy.Uninstalled = true; + copy.Files = oldAddinFiles; return copy; } @@ -140,7 +141,7 @@ namespace Mono.Addins.Database if (!addinStatus.TryGetValue (addinId, out s)) s = new AddinStatus (addinId); - s = s.AsUninstalled (); + s = s.AsUninstalled (ImmutableArray<string>.Empty.AddRange(files)); addinStatus = addinStatus.SetItem (addinId, s); } |