diff -Naur caver_unix_v0.99.4/src/cav_io.cpp caver_unix_v0.99.4-patch001/src/cav_io.cpp --- caver_unix_v0.99.4/src/cav_io.cpp 2006-01-15 11:41:49.000000000 +0100 +++ caver_unix_v0.99.4-patch001/src/cav_io.cpp 2006-07-27 10:19:08.000000000 +0200 @@ -2,6 +2,7 @@ #include "StdAfx.h" #include "cav_io.h" +//#define SHOWIOOPERATIONS FILE *Fopen(const char *path, const char *mode) { @@ -14,8 +15,10 @@ exit(1); } else { -// for (int i=0;i %p ('%s') mode: %s\n",f,path,mode); +#ifdef SHOWIOOPERATIONS + for (int i=0;i %p ('%s') mode: %s no=%d\n",f,path,mode,nopenfiles); +#endif } return f; @@ -24,9 +27,11 @@ int Fclose(FILE *stream) { int res=fclose(stream); -// for (int i=0;i %p\n",stream); + for (int i=0;i %p no=%d\n",stream,nopenfiles); +#endif return res; } diff -Naur caver_unix_v0.99.4/src/CSearch.cpp caver_unix_v0.99.4-patch001/src/CSearch.cpp --- caver_unix_v0.99.4/src/CSearch.cpp 2006-04-20 12:07:13.000000000 +0200 +++ caver_unix_v0.99.4-patch001/src/CSearch.cpp 2006-07-27 10:37:13.000000000 +0200 @@ -876,14 +876,7 @@ } clock.End (); clock.Print (); - printf - ("-----------------------------------------------------------------\n"); - fflush (stdout); - } - - Fclose (fout); - Fclose (fin); if (Cfg.mEnableOutputVMD) { @@ -908,6 +901,15 @@ } + + printf + ("-----------------------------------------------------------------\n"); + fflush (stdout); + } + + + Fclose (fout); + Fclose (fin); // fclose (fout2);