view src/luan_editor/Java.luan @ 77:b4ed3c726b4c default tip

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 19 Jun 2025 12:02:05 -0600
parents 7f5b3824f4d4
children
line wrap: on
line source

local Luan = require "luan:Luan.luan"
local error = Luan.error
require "java"
local System = require "java:java.lang.System"


local Java = {}

local home_dir = System.getProperty("user.home") or error()
Java.config_path = System.getProperty("config") or home_dir.."/.luan_editor/config.json"

Java.port = System.getProperty("port")

return Java