# HG changeset patch # User wenzelm # Date 1750796509 -7200 # Node ID 788d7f3caa414aa83bdd52a42446bb194292a33e # Parent 6204f51104da39e1d0b5708ef2a3a45061bbf0ae tuned; diff -r 6204f51104da -r 788d7f3caa41 src/Pure/Build/browser_info.scala --- a/src/Pure/Build/browser_info.scala Tue Jun 24 22:17:35 2025 +0200 +++ b/src/Pure/Build/browser_info.scala Tue Jun 24 22:21:49 2025 +0200 @@ -699,7 +699,7 @@ val sessions1 = deps.sessions_structure.build_requirements(sessions).filter { session_name => using(database_context.open_database(session_name)) { session_database => - database_context.store.read_build(session_database.db, session_name) match { + store.read_build(session_database.db, session_name) match { case None => false case Some(build) => val session_dir = context0.session_dir(session_name)