Show url of the repository where 'git gc' failed
[teamcity/git-plugin.git] / git-server / src / jetbrains / buildServer / buildTriggers / vcs / git / RepositoryManagerImpl.java
index 6967712c1167f52dd4a1a2d443b1dc9142c3299c..fbcb47304fe393f0514eaf0b1e9e8d643787bef1 100644 (file)
@@ -24,6 +24,7 @@ import org.eclipse.jgit.lib.RepositoryCache;
 import org.eclipse.jgit.transport.URIish;
 import org.eclipse.jgit.util.FS;
 import org.jetbrains.annotations.NotNull;
+import org.jetbrains.annotations.Nullable;
 
 import java.io.File;
 import java.io.IOException;
@@ -100,10 +101,17 @@ public final class RepositoryManagerImpl implements RepositoryManager {
   }
 
 
+  @NotNull
   public Map<String, File> getMappings() {
     return myMirrorManager.getMappings();
   }
 
+  @Nullable
+  @Override
+  public String getUrl(@NotNull String cloneDirName) {
+    return myMirrorManager.getUrl(cloneDirName);
+  }
+
   @NotNull
   public List<File> getExpiredDirs() {
     long now = System.currentTimeMillis();