Mercurial Hosting > editor
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