# | Line 93 | Line 93 | void Indexer::index(URL& url, ofstream& | |
---|---|---|
93 | { | |
94 | if (http.good()) | |
95 | { | |
96 | < | cout << "Indexing " << url << "..."; |
96 | > | cout << "Indexing " << url << "..." << flush; |
97 | ||
98 | if (processor.process(http, url)) | |
99 | { | |
# | Line 165 | Line 165 | void Indexer::robots(URL& url) | |
165 | URL robots = url; | |
166 | robots.setPath(string("/robots.txt")); | |
167 | ||
168 | < | cout << "Checking " << robots << "..."; |
168 | > | cout << "Checking " << robots << "..." << flush; |
169 | ||
170 | if (http.connect(robots)) | |
171 | { |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |