Move configuration option to a system property
This commit is contained in:
@@ -48,6 +48,8 @@ index 0000000000000000000000000000000000000000..00000000000000000000000000000000
|
||||
+ public static final String ID = "spark";
|
||||
+ public static final String COMMAND_NAME = "spark";
|
||||
+
|
||||
+ private static final String PREFER_SPARK_PLUGIN_PROPERTY = "paper.preferSparkPlugin";
|
||||
+
|
||||
+ private static final int SPARK_YELLOW = 0xffc93a;
|
||||
+
|
||||
+ private final Logger logger;
|
||||
@@ -164,7 +166,7 @@ index 0000000000000000000000000000000000000000..00000000000000000000000000000000
|
||||
+ }
|
||||
+
|
||||
+ public static boolean isPluginPreferred() {
|
||||
+ return GlobalConfiguration.get().spark.preferSparkPlugin;
|
||||
+ return Boolean.getBoolean(PREFER_SPARK_PLUGIN_PROPERTY);
|
||||
+ }
|
||||
+
|
||||
+ private static boolean isPluginEnabled(final Server server) {
|
||||
|
||||
Reference in New Issue
Block a user