Merge remote-tracking branch 'origin/master' into pycharm/docker
[idea/community.git] / python / src / com / jetbrains / python / sdk / PythonSdkType.java
index c08e908d8cb066917b7b85037472e46f3cc46bd9..4bb9cefe4ad69319f1350abe03e382201f468f82 100644 (file)
@@ -762,6 +762,9 @@ public class PythonSdkType extends SdkType {
     return path;
   }
 
+  /**
+   * Returns skeletons location on the local machine. Independent of SDK credentials type (e.g. ssh, Vagrant, Docker or else).
+   */
   public static String getSkeletonsPath(String basePath, String sdkHome) {
     String sep = File.separator;
     return getSkeletonsRootPath(basePath) + sep + FileUtil.toSystemIndependentName(sdkHome).hashCode() + sep;
@@ -1072,6 +1075,10 @@ public class PythonSdkType extends SdkType {
         @Override
         public void deployment(@NotNull WebDeploymentCredentialsHolder cred) {
         }
+
+        @Override
+        public void docker(@NotNull DockerCredentialsHolder credentials) {
+        }
       });
       return result.get();
     }