do NOT ignore sat solver settings

diff --git a/zypp/sat/SATResolver.cc b/zypp/sat/SATResolver.cc
index 8cade017da4b49a45a0a20e8d286d28f6d21f47b..1b17bb6faf0ab5e21456256c5448d705858873a0 100644 (file)
--- a/zypp/sat/SATResolver.cc
+++ b/zypp/sat/SATResolver.cc
@@ -439,6 +439,14 @@ SATResolver::resolvePool(const CapabilitySet & requires_caps,
 
     _solv = solver_create( _SATPool, sat::Pool::instance().systemRepo().get() );
     _solv->vendorCheckCb = &vendorCheck;
+    _solv->fixsystem = _fixsystem;
+    _solv->updatesystem = _updatesystem;
+    _solv->allowdowngrade = _allowdowngrade;
+    _solv->allowuninstall = _allowuninstall;
+    _solv->allowarchchange = _allowarchchange;
+    _solv->dosplitprovides = _dosplitprovides;
+    _solv->noupdateprovide = _noupdateprovide;
+    
     sat::Pool::instance().prepare();
 
     // Solve !