1
0
Fork 0

Fix Solver CS

pull/911/head
Adrien Brault 2012-07-15 17:31:03 +03:00
parent bf245ab885
commit 4263fe9255
1 changed files with 11 additions and 9 deletions

View File

@ -524,7 +524,10 @@ class Solver
if (!$job) { if (!$job) {
$why->disable(); $why->disable();
} else {
return;
}
// disable all rules of this job // disable all rules of this job
foreach ($this->rules as $rule) { foreach ($this->rules as $rule) {
if ($job === $rule->getJob()) { if ($job === $rule->getJob()) {
@ -532,7 +535,6 @@ class Solver
} }
} }
} }
}
private function resetSolver() private function resetSolver()
{ {
@ -600,12 +602,12 @@ class Solver
if (1 === $level) { if (1 === $level) {
$conflictRule = $this->propagate($level); $conflictRule = $this->propagate($level);
if ($conflictRule !== null) { if (null !== $conflictRule) {
if ($this->analyzeUnsolvable($conflictRule, $disableRules)) { if ($this->analyzeUnsolvable($conflictRule, $disableRules)) {
continue; continue;
} else {
return;
} }
return;
} }
} }