| commit | 5bf5133e2230e37061dcc021defeda28691dd2c3 | [log] [tgz] |
|---|---|---|
| author | Marc Kriguer <myk@google.com> | Mon May 12 17:13:04 2014 -0700 |
| committer | Marc Kriguer <myk@google.com> | Mon May 12 17:13:04 2014 -0700 |
| tree | 6eb3ed4237371ed865ecc07e010a39fbf54dd9dd | |
| parent | 97c617d0cfd8713e8a4d7fbbe61bc6b3ebf2c3fd [diff] |
Reload page when either push button errors out (either full crawl or incremental crawl). This fixes the following bugs: b/11369495 , b/8143800 , and b/14052915.