Commit e9973639 by Francois Gygi

Fix UserInterface processing of empty lines

parent ca27b6e4
......@@ -97,7 +97,7 @@ int UserInterface::readCmd(char *s, int max, istream &fp, bool echo)
return 0; /* return 0 for end of file */
// output command line if reading from a script
if ( echo && i > 0 ) cout << "<cmd>" << s << "</cmd>" << endl;
if ( echo && i >= 0 ) cout << "<cmd>" << s << "</cmd>" << endl;
if ( ch == '#' )
{
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment