BaseXdb/basex — pull request #557 by LeoWoerteler (2012-08-02 15:35:52+00:00)
Title: [FIX] GH-556: Correctly reset tail-call depth after function returns.

The old tail-call depth wasn't correctly reset after function calls returned.