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")