curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1);
curl_setopt($ch, CURLOPT_CUSTOMREQUEST, $header);
curl_setopt($ch, CURLOPT_SSL_VERIFYPEER, FALSE);
+ if (!empty($this->_config['GoogleSpell.proxy'])) {
+ curl_setopt($ch, CURLOPT_PROXY, $this->_config['GoogleSpell.proxy']);
+ if (!empty($this->_config['GoogleSpell.proxyport'])) {
+ curl_setopt($ch, CURLOPT_PROXYPORT, $this->_config['GoogleSpell.proxyport']);
+ }
+ }
$xml = curl_exec($ch);
curl_close($ch);
} else {
//$config['general.engine'] = 'PSpellShell';
//$config['general.remote_rpc_url'] = 'http://some.other.site/some/url/rpc.php';
+ // GoogleSpell settings
+ $config['GoogleSpell.proxy'] = isset($CFG->proxyhost) ? $CFG->proxyhost : '';
+ $config['GoogleSpell.proxyport'] = isset($CFG->proxyport) ? $CFG->proxyport : '';
+
if ($config['general.engine'] === 'PSpell' or $config['general.engine'] === 'PSpellShell') {
// PSpell settings
$config['PSpell.mode'] = PSPELL_FAST;