introduce warning if QE fails to make progress
authorChristian Grothoff <christian@grothoff.org>
Fri, 10 Mar 2017 09:59:19 +0000 (10:59 +0100)
committerChristian Grothoff <christian@grothoff.org>
Fri, 10 Mar 2017 09:59:19 +0000 (10:59 +0100)
commit0444330a107cdf015f162194a36c0439ef1cc558
tree1794612b14266bc96821a22cf9ef9eb440dc626e
parent9f466ede8c667284e2747827d0f078cf5851521b
introduce warning if QE fails to make progress
src/datastore/datastore_api.c