Here is a patch for supporting version checking using an HTTP proxy.
It uses a sys_config variable 'http_proxy' which must have the format
http://<hostname>:<port>
$ diff www/workspace_plugins/builtin/desktop_versioncheck/main.inc.php*
15,22d14
< $opts = array();
< if(isset($conf['http_proxy'])) {
< if(preg_match('/http:\/\/([^:]+:?\d*)/',$conf['http_proxy'],$matches)) {
< $opts['http'] = array('proxy' => 'tcp://'.$matches[1], 'request_fulluri' => true);
< }
< }
< //$opts = array('http' => array('proxy' => 'tcp://wwwproxy:8080', 'request_fulluri' => true));
< $context = stream_context_create($opts);
28,29c20,21
< //$fsock = @fsockopen("tcp://{$onachkserver}", 80, $errNo, $errString, 2);
< //if ($fsock) {
---
> $fsock = @fsockopen("tcp://{$onachkserver}", 80, $errNo, $errString, 2);
> if ($fsock) {
31c23
< $file = @fopen("http://{$onachkserver}/check_version.php", "r",false,$context);
---
> $file = @fopen("http://{$onachkserver}/check_version.php", "r");
33c25
< //}
---
> }