Mercurial Hosting > editor

comparison src/luan_editor/editor.luan @ 53:d5681da8ece8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add website
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 24 May 2025 21:52:13 -0600
parents b7ff52d45b9a
children 6059b4e22d47
comparison
equal deleted inserted replaced
52:3f4c3722b78b 53:d5681da8ece8
1 local Luan = require "luan:Luan.luan" 1 local Luan = require "luan:Luan.luan"
2 local error = Luan.error 2 local error = Luan.error
3 local ipairs = Luan.ipairs or error() 3 local ipairs = Luan.ipairs or error()
4 local String = require "luan:String.luan" 4 local String = require "luan:String.luan"
5 local contains = String.contains or error() 5 local contains = String.contains or error()
6 local to_number = String.to_number or error()
6 local Io = require "luan:Io.luan" 7 local Io = require "luan:Io.luan"
7 local new_file = Io.schemes.file or error() 8 local new_file = Io.schemes.file or error()
8 local Rpc = require "luan:Rpc.luan" 9 local Rpc = require "luan:Rpc.luan"
9 local Swing = require "luan:swing/Swing.luan" 10 local Swing = require "luan:swing/Swing.luan"
10 local swing_run = Swing.run or error() 11 local swing_run = Swing.run or error()
11 local to_front = Swing.to_front or error() 12 local to_front = Swing.to_front or error()
12 local new_window = require "classpath:luan_editor/window.luan" 13 local new_window = require "classpath:luan_editor/window.luan"
14 local Java = require "classpath:luan_editor/Java.luan"
13 local Logging = require "luan:logging/Logging.luan" 15 local Logging = require "luan:logging/Logging.luan"
14 local logger = Logging.logger "editor/editor" 16 local logger = Logging.logger "editor/editor"
15 17
16 18
17 local port = 56587 19 local port = Java.port
20 if port == nil then
21 port = 56587
22 else
23 port = to_number(port) or error("bad port: "..port)
24 end
18 25
19 Rpc.cipher_suites = nil 26 Rpc.cipher_suites = nil
20 local server_socket 27 local server_socket
21 try 28 try
22 server_socket = Rpc.new_server_socket(port) 29 server_socket = Rpc.new_server_socket(port)