diff src/luan_editor/editor.luan @ 53:d5681da8ece8 default tip

add website
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 24 May 2025 21:52:13 -0600
parents b7ff52d45b9a
children
line wrap: on
line diff
--- a/src/luan_editor/editor.luan	Sat May 24 16:25:55 2025 -0600
+++ b/src/luan_editor/editor.luan	Sat May 24 21:52:13 2025 -0600
@@ -3,6 +3,7 @@
 local ipairs = Luan.ipairs or error()
 local String = require "luan:String.luan"
 local contains = String.contains or error()
+local to_number = String.to_number or error()
 local Io = require "luan:Io.luan"
 local new_file = Io.schemes.file or error()
 local Rpc = require "luan:Rpc.luan"
@@ -10,11 +11,17 @@
 local swing_run = Swing.run or error()
 local to_front = Swing.to_front or error()
 local new_window = require "classpath:luan_editor/window.luan"
+local Java = require "classpath:luan_editor/Java.luan"
 local Logging = require "luan:logging/Logging.luan"
 local logger = Logging.logger "editor/editor"
 
 
-local port = 56587
+local port = Java.port
+if port == nil then
+	port = 56587
+else
+	port = to_number(port) or error("bad port: "..port)
+end
 
 Rpc.cipher_suites = nil
 local server_socket