...

diff --git a/configcache.cpp b/configcache.cpp
index f00e187b26a339825256e09dde80257dda123b2f..556dba720c6465460e3f0df6cb249b2afc6d3b6b 100644 (file)
--- a/configcache.cpp
+++ b/configcache.cpp
@@ -107,6 +107,7 @@ bool configcache::readConfig()
        {
          if(out) *out->log << "CCACHE: Opening dat-file: " << inFiles.back() << endl << flush;
 
+         openFileName = inFiles.back();
          inFile.open( (DATADIR + "/" + inFiles.back()).c_str(), std::ios::binary );
          inFiles.pop_back();
 
@@ -141,7 +142,10 @@ bool configcache::readConfig()
              memcpy(configMem, tmpConfig, configSize);
              return true;
            }
-         else inFile.close(); 
+         else {
+           *out->log << "CCACHE: Closing dat-file: " << openFileName << endl << flush;
+           inFile.close();
+         }
        }
     }
 }

diff --git a/configcache.h b/configcache.h
index 40963e1d0be3e67f4e411d2c4af93b8460a20dd4..e61bb3f903b813a9f4caa8f62fac76becdc61492 100644 (file)
--- a/configcache.h
+++ b/configcache.h
@@ -36,6 +36,7 @@ class configcache{
   void setPara(const string& parid, const double& value);
   
  private:
+  string openFileName;
   void finishOutFile();
   int getParIndex(const string& parid);
   int NEQUI;