The following patch should resolve this bug:
Tue Nov 22 11:21:28 PST 2005 Daniel Burrows <[EMAIL PROTECTED]>
* Don't start solving solutions after the resolver has determined that no
more solutions exist. This avoids an infinite loop in some circumstances.
(Closes: #340067)
diff -rN -udp old-head/src/ui.cc new-head/src/ui.cc
--- old-head/src/ui.cc 2005-11-22 11:23:53.000000000 -0800
+++ new-head/src/ui.cc 2005-11-22 11:16:13.000000000 -0800
@@ -1642,6 +1642,7 @@ static void start_solution_calculation()
if(state.resolver_exists &&
state.selected_solution == state.generated_solutions &&
+ !state.solutions_exhausted &&
!state.background_thread_active)
resman->get_solution_background_blocking(resman->get_selected_solution(),
aptcfg->FindI(PACKAGE
"::ProblemResolver::StepLimit", 5000),
Daniel
signature.asc
Description: Digital signature
