kopia lustrzana https://gitlab.com/tomaszg/geostat
Stop when there are no caches to work with
rodzic
f74ea03e0e
commit
3ea68bf231
|
@ -214,6 +214,10 @@ int main(int argc, char** argv) {
|
|||
// TODO: some cache deduplication is needed
|
||||
|
||||
Debug(2) << "Caches read: " << cc.size() << '\n';
|
||||
if (cc.size() == 0) {
|
||||
std::cout << "No caches found, aborting.\n";
|
||||
std::exit(EXIT_FAILURE);
|
||||
}
|
||||
|
||||
if (show_html) {
|
||||
std::cout << "<!DOCTYPE html PUBLIC \"-//W3C//DTD HTML 4.01//EN\" \"http://www.w3.org/TR/html4/strict.dtd\">\n";
|
||||
|
|
Ładowanie…
Reference in New Issue