equal
deleted
inserted
replaced
305 } |
305 } |
306 |
306 |
307 |
307 |
308 /* server info */ |
308 /* server info */ |
309 |
309 |
310 def print_socket(port: Int): String = "127.0.0.1:" + port |
310 def print_address(port: Int): String = "127.0.0.1:" + port |
311 |
311 |
312 def print(port: Int, password: String): String = |
312 def print(port: Int, password: String): String = |
313 print_socket(port) + " (password " + quote(password) + ")" |
313 print_address(port) + " (password " + quote(password) + ")" |
314 |
314 |
315 object Info |
315 object Info |
316 { |
316 { |
317 private val Pattern = """server "([^"]*)" = 127\.0\.0\.1:(\d+) \(password "([^"]*)"\)""".r |
317 private val Pattern = """server "([^"]*)" = 127\.0\.0\.1:(\d+) \(password "([^"]*)"\)""".r |
318 |
318 |
326 new Info(name, port, password) |
326 new Info(name, port, password) |
327 } |
327 } |
328 |
328 |
329 class Info private(val name: String, val port: Int, val password: String) |
329 class Info private(val name: String, val port: Int, val password: String) |
330 { |
330 { |
331 def socket_name: String = print_socket(port) |
331 def address: String = print_address(port) |
332 |
332 |
333 override def toString: String = |
333 override def toString: String = |
334 "server " + quote(name) + " = " + print(port, password) |
334 "server " + quote(name) + " = " + print(port, password) |
335 |
335 |
336 def connection(): Connection = |
336 def connection(): Connection = |