logging solver settings before solving

diff --git a/zypp/sat/SATResolver.cc b/zypp/sat/SATResolver.cc
index a128c8bc76db6c449bb2000098ff55f8508481d0..873c91c747d523e4cb2f6cf63576bc9649851d2e 100644 (file)
--- a/zypp/sat/SATResolver.cc
+++ b/zypp/sat/SATResolver.cc
@@ -104,7 +104,18 @@ itemToString (PoolItem item, bool shortVersion)
 std::ostream &
 SATResolver::dumpOn( std::ostream & os ) const
 {
 std::ostream &
 SATResolver::dumpOn( std::ostream & os ) const
 {

-    return os << "<resolver/>";
+    os << "<resolver>";            
+    os << "  fixsystem = " << _fixsystem << endl;
+    os << "  allowdowngrade = " << _allowdowngrade << endl;
+    os << "  allowarchchange = " << _allowarchchange << endl;
+    os << "  allowvendorchange = " <<  _allowvendorchange << endl;
+    os << "  allowuninstall = " << _allowuninstall << endl;
+    os << "  updatesystem = " << _updatesystem << endl;
+    os << "  allowvirtualconflicts = " <<  _allowvirtualconflicts << endl;
+    os << "  noupdateprovide = " << _noupdateprovide << endl;
+    os << "  dosplitprovides = " << _dosplitprovides << endl;
+    os << "  onlyRequires = " << _onlyRequires << endl;
+    return os << "<resolver/>" << endl;

 }
 
 //---------------------------------------------------------------------------
 }
 
 //---------------------------------------------------------------------------


@@ -448,6 +459,7 @@ SATResolver::resolvePool(const CapabilitySet & requires_caps,
 
     // Solve !
     MIL << "Starting solving...." << endl;
 
     // Solve !
     MIL << "Starting solving...." << endl;

+    MIL << *this;

     solver_solve( _solv, &(_jobQueue) );
     MIL << "....Solver end" << endl;
 
     solver_solve( _solv, &(_jobQueue) );
     MIL << "....Solver end" << endl;
 


@@ -567,7 +579,8 @@ bool SATResolver::doUpdate()
     sat::Pool::instance().prepare();
 
     // Solve !
     sat::Pool::instance().prepare();
 
     // Solve !

-    MIL << "Starting solving...." << endl;
+    MIL << "Starting solving for update...." << endl;
+    MIL << *this;    

     solver_solve( _solv, &(_jobQueue) );
     MIL << "....Solver end" << endl;
 
     solver_solve( _solv, &(_jobQueue) );
     MIL << "....Solver end" << endl;