# HG changeset patch # User michael # Date 1085518763 0 # Node ID 6db7e319aaa08a49098d63e0e1a8506de96911c9 # Parent cd0d9a99b7303a6ee5faed9e07163b48c6307196 index fixes diff -r cd0d9a99b730 -r 6db7e319aaa0 DOCS/tech/mpcf.txt --- a/DOCS/tech/mpcf.txt Tue May 25 20:42:22 2004 +0000 +++ b/DOCS/tech/mpcf.txt Tue May 25 20:59:23 2004 +0000 @@ -211,7 +211,7 @@ file file_id_string - while(!eof){ + while(!eof && next_code != index_startcode){ main_header for(i=0; i