Turn off replication during indexing, and don't call refresh() at the end.
Turn off replication during indexing, and don't call refresh() at the end.

refresh() doesn't return, even after 2 minutes. If it's really taking minutes to refresh, I can imagine us getting out-of-date results for that long, but it's better than failing completely all the time.
gartung/dxr,pelmers/dxr,jbradberry/dxr,jbradberry/dxr,jbradberry/dxr,kleintom/dxr,jay-z007/dxr,jay-z007/dxr,gartung/dxr,jbradberry/dxr,jbradberry/dxr,kleintom/dxr,pelmers/dxr,kleintom/dxr,pombredanne/dxr,pombredanne/dxr,kleintom/dxr,pombredanne/dxr,jay-z007/dxr,bozzmob/dxr,gartung/dxr,pelmers/dxr,kleintom/dxr,pelmers/dxr,bozzmob/dxr,pombredanne/dxr,pombredanne/dxr,jbradberry/dxr,jay-z007/dxr,kleintom/dxr,jay-z007/dxr,gartung/dxr,pelmers/dxr,bozzmob/dxr,pombredanne/dxr,gartung/dxr,bozzmob/dxr,jbradberry/dxr,jay-z007/dxr,bozzmob/dxr,pombredanne/dxr,bozzmob/dxr,kleintom/dxr,gartung/dxr,bozzmob/dxr,gartung/dxr,jay-z007/dxr,pelmers/dxr,pelmers/dxr