author | wenzelm |
Fri, 09 Mar 2018 12:42:34 +0100 | |
changeset 67788 | 34e76587dc94 |
parent 67787 | 8335d88195c4 |
child 67789 | 77a65c9a849a |
--- a/src/Pure/Tools/server.scala Fri Mar 09 12:38:46 2018 +0100 +++ b/src/Pure/Tools/server.scala Fri Mar 09 12:42:34 2018 +0100 @@ -36,7 +36,7 @@ new Connection(socket) } - class Connection private(socket: Socket) + class Connection private(val socket: Socket) { override def toString: String = socket.toString