src/Pure/Tools/build_process.scala

         if (progress.stopped) stop_running()
 
         for (job <- finished_running()) finish_job(job)
 
         next_pending() match {
-          case Some(session_name) => start_job(session_name)
+          case Some(name) => start_job(name)
           case None => sleep()
         }
       }
       synchronized {
         for ((name, result) <- _state.results) yield name -> result.process_result