function __init__($args) { parent::__init__($args); if (!$this->isSession('__concert_key')) { $this->setSession('__concert_key', md5(time() + mt_rand(0, 9999999))); } if ($this->isPost()) { if (!$this->isVariable('__concert_key') || $this->getVariable('__concert_key') != $this->getSession('__concert_key')) { ExceptionTrigger::raise(new GenericException('__concert_key')); Header::redirect(Rhaco::url()); } } }