diff -r d11a034aabfd -r fd35f6cb5f28 commands.cxx --- a/commands.cxx Mon Jul 16 16:15:16 2012 +0300 +++ b/commands.cxx Tue Jul 17 20:35:43 2012 +0300 @@ -142,6 +142,7 @@ numCommDefs++; } + r->CloseFile (); delete r; if (!numCommDefs)