src/Pure/Tools/server.scala

   }
 
 
   /* per-user servers */
 
+  def print(port: Int, password: String): String =
+    "127.0.0.1:" + port + " (password " + quote(password) + ")"
+
   object Data
   {
     val database = Path.explode("$ISABELLE_HOME_USER/servers.db")
 
     val name = SQL.Column.string("name").make_primary_key

     val password = SQL.Column.string("password")
     val table = SQL.Table("isabelle_servers", List(name, port, password))
 
     sealed case class Entry(name: String, port: Int, password: String)
     {
-      def print: String =
-        "server " + quote(name) + " = 127.0.0.1:" + port + " (password " + quote(password) + ")"
+      override def toString: String =
+        "server " + quote(name) + " = " + print(port, password)
 
       def connection(): Connection =
         Connection(new Socket(InetAddress.getByName("127.0.0.1"), port))
 
       def active(): Boolean =

       val more_args = getopts(args)
       if (more_args.nonEmpty) getopts.usage()
 
       if (operation_list) {
         for (entry <- using(SQLite.open_database(Data.database))(list(_)) if entry.active)
-          Output.writeln(entry.print, stdout = true)
+          Output.writeln(entry.toString, stdout = true)
       }
       else {
         val (entry, server) = start(name, port)
-        Output.writeln(entry.print, stdout = true)
+        Output.writeln(entry.toString, stdout = true)
         server.foreach(_.join)
       }
     })
 }
 

 {
   server =>
 
   private val server_socket = new ServerSocket(_port, 50, InetAddress.getByName("127.0.0.1"))
   def port: Int = server_socket.getLocalPort
-
   val password: String = Library.UUID()
+
+  override def toString: String = Server.print(port, password)
 
   private def handle(connection: Server.Connection)
   {
     connection.read_line() match {
       case None =>