| changeset 66346 | 30663525e057 |
| parent 62306 | 5c0a5c30cda8 |
| child 69124 | 6ededdc829bb |
--- a/src/Pure/System/system_channel.scala Sat Aug 05 12:18:25 2017 +0200 +++ b/src/Pure/System/system_channel.scala Sat Aug 05 15:48:02 2017 +0200 @@ -18,7 +18,7 @@ class System_Channel private { - private val server = new ServerSocket(0, 2, InetAddress.getByName("127.0.0.1")) + private val server = new ServerSocket(0, 50, InetAddress.getByName("127.0.0.1")) val server_name: String = "127.0.0.1:" + server.getLocalPort override def toString: String = server_name