Mercurial Hosting > editor
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