protected function verify_terminals()
    {
        foreach ($this->terminals as $name => $callback) {
            if (!has_privs('rah_terminal.'.$name) || !is_callable($callback)) {
                unset($this->terminal_labels[$name], $this->terminals[$name]);
            }
        }
    }
protected function verify_terminals()
    {
        foreach ($this->terminals as $name => $callback) {
            if (!has_privs('rah_terminal.'.$name) || !is_callable($callback)) {
                unset($this->terminal_labels[$name], $this->terminals[$name]);
            }
        }
    }
protected function verify_terminals ( ) { foreach ( $ this -> terminals as $ name => $ callback ) { if ( ! has_privs ( 'rah_terminal.' . $ name ) || ! is_callable ( $ callback ) ) { unset ( $ this -> terminal_labels [ $ name ] , $ this -> terminals [ $ name ] ) ; } } }
Verifies user's terminal permissions.

This method strips out terminal options which the current
user doesn't have privileges to.
Verifies user s terminal permissions .