protected function execute($arguments = array(), $options = array())
{
if (empty($options['channel'])) {
$options['channel'] = opPluginManager::getDefaultPluginChannelServerName();
}
return parent::execute($arguments, $options);
}
