Improve pages servlet raw navigation (issue-411)

James Moger

2014-04-23 1cfce55191f8ae63b1830892fc0883506fd8507d

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