annotate src/luan_editor/Java.luan @ 54:dcd7d082196f

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 25 May 2025 15:09:49 -0600
parents d5681da8ece8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
53
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 require "java"
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local System = require "java:java.lang.System"
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local Java = {}
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 Java.home_dir = System.getProperty("user.home")
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 Java.port = System.getProperty("port")
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 return Java