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.
1 file changed
tree: 6eb3ed4237371ed865ecc07e010a39fbf54dd9dd
  1. examples/
  2. lib/
  3. resources/
  4. src/
  5. test/
  6. .gitignore
  7. build.xml
  8. LICENSE.txt
  9. THIRDPARTYLICENSE.txt