diff options
| author | Lluis Sanchez <lluis@xamarin.com> | 2014-02-06 17:32:47 +0400 |
|---|---|---|
| committer | Lluis Sanchez <lluis@xamarin.com> | 2014-02-06 17:32:47 +0400 |
| commit | f21821cb82e8525ba3899c9840f24f3de5e3d997 (patch) | |
| tree | d363a2c545a69e57d0511f98dfb16d62349521c7 /Mono.Addins.Setup | |
| parent | 64a45d96f39d4714ec85adf0fe04b68ec7273ae1 (diff) | |
Fix repository update issue
Always update referenced repos if the cached file has been removed
Diffstat (limited to 'Mono.Addins.Setup')
| -rw-r--r-- | Mono.Addins.Setup/Mono.Addins.Setup/RepositoryRegistry.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Mono.Addins.Setup/Mono.Addins.Setup/RepositoryRegistry.cs b/Mono.Addins.Setup/Mono.Addins.Setup/RepositoryRegistry.cs index 4aba0f3..86b81d8 100644 --- a/Mono.Addins.Setup/Mono.Addins.Setup/RepositoryRegistry.cs +++ b/Mono.Addins.Setup/Mono.Addins.Setup/RepositoryRegistry.cs @@ -351,7 +351,7 @@ namespace Mono.Addins.Setup refRep = RegisterRepository (refRepUrl, true); refRep.Enabled = rr.Enabled; // Update the repo if the modified timestamp changes or if there is no timestamp info - if (refRep.LastModified != re.LastModified || re.LastModified == DateTime.MinValue) { + if (refRep.LastModified != re.LastModified || re.LastModified == DateTime.MinValue || !File.Exists (refRep.File)) { refRep.LastModified = re.LastModified; UpdateRepository (monitor, refRepUri, refRep); } |