tree 22a14e42f3c1654846edecde869ca9d15b3ad1f8
parent e85614964e5c6fdbe5ae6a02097c041524c93d27
author Till Westmann <westmann@gmail.com> 1396046641 -0700
committer Till Westmann <westmann@gmail.com> 1396046641 -0700

add error locations to exceptions in the ADM parser
escape HTML entities in error messages for the WebUI