// We do a case independent comparison, like search_kw
// does.
- if (compare_ascii_no_case(token, endtoken) == 0)
+ if (compare_ascii_no_case(token, endtoken) == 0)
break;
string tmpstr = getString();
if (prefix.length() && prefixIs(tmpstr, prefix)) {
tmpstr.erase(0, prefix.length() - 1);
}
-
+
str += ltrim(tmpstr, "\t") + '\n';
}
-
+
if (!isOK()) {
printError("Long string not ended by `" + endtoken + '\'');
}