[bugfix] Allow some potentially long-running index scans in structural index to abort immediately if requested to do so (e.g. during shutdown).
Merge branch 'develop' of github.com:wolfgangmm/exist into develop
Merge pull request #266 from wolfgangmm/develop

Allow long-running index scans to be aborted