Function readSTDIN

kernels/TIndexKernel.cpp:291–300

StringList readSTDIN()
{
    std::string line;
    StringList output;
    while (std::getline(std::cin, line))
    {
        output.push_back(line);
    }
    return output;
}

StringList readFileList(const std::string& filename)
{