Re: getVectorFromString is bust

[Andre Poenitz]

On Tue, Nov 05, 2002 at 11:39:36AM +0100, Lars Gullik Bjønnes wrote:
> src/mathed/math_extern.C:
>      std::vector<string> tmp = getVectorFromString(out, "$$");

Hm, not my doing...

Dekel: Why is this needed?

[And since I am at it:


  while (is) {
    getline(is, line);
    if (line.find("Incorrect syntax") != string::npos)
      break;
  }

This is equivalent to 

  while (getline(is, line))
    if (line.find("Incorrect syntax") != string::npos)
      break;

or even

  while (getline(is, line) && line.find("Incorrect syntax") == string::npos)
    ;

isn't it?

Andre'

-- 
Those who desire to give up Freedom in order to gain Security,
will not have, nor do they deserve, either one. (T. Jefferson)