Ticket #217: patch17.patch

File patch17.patch, 402 bytes (added by Charlie Hull, 17 years ago)

Need to check input.is_open(), not just input

  • harness/index_utils.cc

     
    172172    filename += ".txt";
    173173
    174174    input.open(filename.c_str());
    175     if (!input) {
     175    if (!input.is_open()) {
    176176        string msg = "Can't read file '";
    177177        msg += filename;
    178178        msg += "' for indexing (";