location reload

2019-08-26 01:35:22 +02:00
parent 3daf3233a1
commit 87478689c8
2 changed files with 7 additions and 1 deletions
@@ -109,6 +109,11 @@ export class UpdateManager implements Plugin{
        if(!this.pluginUpdaters[name]) return false
        const status = await this.pluginUpdaters[name].getStatus()
        if(!status.exists || status.empty || !status.tags || status.tags.length === 0){
+            if(status.currentTag && !status.latestTag){
+                //git glitches sometimes if you check immediately after clone
+                logger.warn("re-fetching tag for "+name+"...")
+                return await this.startPlugin(name)
+            }
            logger.error("Bad repo status", name, status)
            return false
        }