issue 564: enable ticket page update on tomcat with redirects

krulls

2015-02-23 47a544e3ffcd20f968a505b0efa61e99cf3af46a

1
2
3
4
[user "admin"]
    password = admin
    role = "#admin"
    role = "#notfederated"