# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1710948206 -3600
# Node ID 502525a82d9f12aa934ca2cc0a0b73b689c565b7
# Parent  3f415c76a511be37c489ddd259c2014652317624
remove laziness: no need, and errors during initialization loop with close();

diff -r 3f415c76a511 -r 502525a82d9f src/Pure/Build/build_schedule.scala
--- a/src/Pure/Build/build_schedule.scala	Wed Mar 20 16:05:15 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Wed Mar 20 16:23:26 2024 +0100
@@ -1011,8 +1011,8 @@
 
     /* global resources with common close() operation */
 
-    private final lazy val _log_store: Build_Log.Store = Build_Log.store(build_options)
-    private final lazy val _log_database: SQL.Database =
+    private final val _log_store: Build_Log.Store = Build_Log.store(build_options)
+    private final val _log_database: SQL.Database =
       try {
         val db = _log_store.open_database(server = this.server)
         _log_store.init_database(db)