function get($name, $args) { $id = procedure::make_id($name, $args); isset($this->procedures[$id]) or backend_error('bad_query', "Unknown procedure: {$id}"); return $this->procedures[$id]; }
function get($name, $args) { $id = procedure::make_id($name, $args); isset($this->procedures[$id]) or backend_error('bad_query', "Unknown procedure: {$id}"); return $this->procedures[$id]; }