comparison src/luan_editor/Java.luan @ 71:99ebb6176d2f default tip

better build
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 12 Jun 2025 17:08:31 -0600
parents d5681da8ece8
children
comparison
equal deleted inserted replaced
70:f4e393a13d59 71:99ebb6176d2f
4 local System = require "java:java.lang.System" 4 local System = require "java:java.lang.System"
5 5
6 6
7 local Java = {} 7 local Java = {}
8 8
9 Java.home_dir = System.getProperty("user.home") 9 Java.home_dir = System.getProperty("user.home") or error()
10 10
11 Java.port = System.getProperty("port") 11 Java.port = System.getProperty("port")
12 12
13 return Java 13 return Java