This commit is contained in:
Phinner
2022-02-11 01:44:30 +01:00
committed by GitHub
parent 96b26cafd4
commit e20505508e

View File

@@ -79,9 +79,10 @@ public interface Platform{
}
default Context getScriptContext(){
Context c = Context.enter();
c.setOptimizationLevel(9);
return c;
Context context = Context.getCurrentContext();
if(context == null) context = Context.enter();
context.setOptimizationLevel(9);
return context;
}
/** Update discord RPC. */