# | Line 185 | Line 185 | void Indexer::robots(URL& url) | |
---|---|---|
185 | cout << "Checking " << robots << "..." << flush; | |
186 | ||
187 | string line; | |
188 | – | do http.getline(line); while (http.good() && line != ""); |
188 | ||
189 | bool record = false, hasVersion = false, hasName = false, hasAll = | |
190 | false; |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |