2022-06-06 19:35:17 +02:00
|
|
|
-- Configuration for Java remote plugin host
|
|
|
|
|
require("java_plugin_host").setup({
|
|
|
|
|
autostart = false,
|
|
|
|
|
rplugins = {
|
|
|
|
|
load_class = true,
|
|
|
|
|
compile_java = true,
|
|
|
|
|
},
|
2022-10-21 08:13:39 +02:00
|
|
|
common_host = {},
|
|
|
|
|
log_level = "trace",
|
2022-06-06 19:35:17 +02:00
|
|
|
})
|
