annotate src/luan_editor/Java.luan @ 53:d5681da8ece8 default tip

add website
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 24 May 2025 21:52:13 -0600
parents
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