maven: fix index context duplication, do not force to download the index for remote...
[idea/community.git] / plugins / maven / maven-server-api / src / org / jetbrains / idea / maven / server / MavenServerIndexer.java
index 04c39eae311a72919f94238aede92fce4672b6da..0212c9064a4184848a744cca9d7358b37277e0d9 100644 (file)
@@ -55,4 +55,6 @@ public interface MavenServerIndexer extends Remote {
   Collection<MavenArchetype> getArchetypes() throws RemoteException;
 
   void release() throws RemoteException;
+
+  boolean indexExists(File dir) throws RemoteException;
 }