| changeset 79717 | da4e82434985 |
| parent 79056 | 1f34f6394383 |
--- a/src/Pure/System/system_channel.scala Sat Feb 24 10:55:16 2024 +0100 +++ b/src/Pure/System/system_channel.scala Sat Feb 24 11:05:11 2024 +0100 @@ -46,7 +46,7 @@ protected val server: ServerSocketChannel = ServerSocketChannel.open(protocol_family) def address: String - lazy val password: String = UUID.random().toString + lazy val password: String = UUID.random_string() override def toString: String = address