Mercurial Hosting > editor
comparison src/luan_editor/Java.luan @ 71:99ebb6176d2f
better build
| author | Franklin Schmidt <fschmidt@gmail.com> |
|---|---|
| date | Thu, 12 Jun 2025 17:08:31 -0600 |
| parents | d5681da8ece8 |
| children | 7f5b3824f4d4 |
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 |
