1920212223242526272829
Object key = event.session().get("key"); if(key != null) { User user = User.get(key); if(user != null && user.permit("ADMIN")) { return; } } event.output().println("<pre>unauthorized</pre>");