equal
deleted
inserted
replaced
18 |
18 |
19 class System_Channel private |
19 class System_Channel private |
20 { |
20 { |
21 private val server = new ServerSocket(0, 2, InetAddress.getByName("127.0.0.1")) |
21 private val server = new ServerSocket(0, 2, InetAddress.getByName("127.0.0.1")) |
22 |
22 |
23 def server_name: String = "127.0.0.1:" + server.getLocalPort |
23 val server_name: String = "127.0.0.1:" + server.getLocalPort |
|
24 override def toString: String = server_name |
24 |
25 |
25 def rendezvous(): (OutputStream, InputStream) = |
26 def rendezvous(): (OutputStream, InputStream) = |
26 { |
27 { |
27 val socket = server.accept |
28 val socket = server.accept |
28 socket.setTcpNoDelay(true) |
29 socket.setTcpNoDelay(true) |