Adding JetBrains as a provider. Fixes beeware#747 (jumbo jet)

azizl · Mar 1, 2018 · ee68562 · ee68562
1 parent e2fc0d2
commit ee68562
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/python/common/python/platform.java b/python/common/python/platform.java
@@ -27,6 +27,8 @@ public class platform extends org.python.types.Module {
             platform_class_name = "python._platform.AndroidPlatform";
         } else if (vendor.equals("Azul Systems, Inc.")) {
             platform_class_name = "python._platform.JavaPlatform";
+        } else if (vendor.equals("JetBrains s.r.o")) {
+            platform_class_name = "python._platform.JavaPlatform";
         } else {
             throw new org.python.exceptions.RuntimeError("Unknown platform vendor '" + vendor + "'");
         }