src/Pure/Tools/server.scala

--- a/src/Pure/Tools/server.scala	Fri Oct 13 21:15:04 2017 +0200
+++ b/src/Pure/Tools/server.scala	Fri Oct 13 21:20:31 2017 +0200
@@ -20,7 +20,7 @@
   {
     val database = Path.explode("$ISABELLE_HOME_USER/servers.db")
 
-    val name = SQL.Column.string("name", primary_key = true)
+    val name = SQL.Column.string("name").make_primary_key
     val port = SQL.Column.int("port")
     val password = SQL.Column.string("password")
     val table = SQL.Table("isabelle_servers", List(name, port, password))