Mercurial Hosting > editor
diff 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 |
line wrap: on
line diff
--- a/src/luan_editor/Java.luan Tue Jun 10 22:34:24 2025 -0600 +++ b/src/luan_editor/Java.luan Thu Jun 12 17:08:31 2025 -0600 @@ -6,7 +6,7 @@ local Java = {} -Java.home_dir = System.getProperty("user.home") +Java.home_dir = System.getProperty("user.home") or error() Java.port = System.getProperty("port")