tree 6eb3ed4237371ed865ecc07e010a39fbf54dd9dd
parent 97c617d0cfd8713e8a4d7fbbe61bc6b3ebf2c3fd
author Marc Kriguer <myk@google.com> 1399939984 -0700
committer Marc Kriguer <myk@google.com> 1399939984 -0700

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.