*** adminlib.php.ORIGINAL	2008-11-05 17:35:46.000000000 +0100
--- adminlib.php	2008-11-06 19:24:50.000000000 +0100
***************
*** 805,811 ****
  
      $testurl = $datarooturl.'/diag/public.txt';
  
!     if (extension_loaded('curl') and ($ch = @curl_init($testurl)) !== false) {
          curl_setopt($ch, CURLOPT_RETURNTRANSFER, true);
          curl_setopt($ch, CURLOPT_HEADER, false);
          $data = curl_exec($ch);
--- 805,811 ----
  
      $testurl = $datarooturl.'/diag/public.txt';
  
!     if (extension_loaded('curl') and is_callable('curl_init') and !(stripos(ini_get('disable_functions'), 'curl_init') !== FALSE) and is_callable('curl_setopt') and !(stripos(ini_get('disable_functions'), 'curl_setopt') !== FALSE) and ($ch = @curl_init($testurl)) !== false) {
          curl_setopt($ch, CURLOPT_RETURNTRANSFER, true);
          curl_setopt($ch, CURLOPT_HEADER, false);
          $data = curl_exec($ch);