# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1738439161 -3600
# Node ID 42fe486d38d5cb9f50a3efade53d59dc1223ae06
# Parent  17436dc0d3d4331b22c5af50f6576d83039e36f5
tuned: more standard;

diff -r 17436dc0d3d4 -r 42fe486d38d5 src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Sat Feb 01 19:29:54 2025 +0100
+++ b/src/Pure/Build/build_manager.scala	Sat Feb 01 20:46:01 2025 +0100
@@ -1721,7 +1721,7 @@
       val dirs = new mutable.ListBuffer[Path]
       val build_hosts = new mutable.ListBuffer[Build_Cluster.Host]
       var options = Options.init()
-      var port = 8080
+      var port = 0
 
       val getopts = Getopts("""
 Usage: isabelle build_manager [OPTIONS]