src/Pure/Tools/build_job.scala

                     Document_Build.build_documents(
                       Document_Build.context(session_context, progress = progress),
                       output_sources = info.document_output,
                       output_pdf = info.document_output)
                 }
-              database_context.database_output(session_name)(db =>
-                documents.foreach(_.write(db, session_name)))
+              using(database_context.open_output_database(session_name))(session_database =>
+                documents.foreach(_.write(session_database.db, session_name)))
               (documents.flatMap(_.log_lines), Nil)
             }
           }
           else (Nil, Nil)
         }