fix user-agent for curlclient

diff --git a/lib/curlclient.php b/lib/curlclient.php
index f45c3c2f4a01c4bd7e88b88a20090e160e7bce18..99c3b6aa41077ecf4715c33b9d586653edbf47bb 100644 (file)
--- a/lib/curlclient.php
+++ b/lib/curlclient.php
@@ -88,10 +88,14 @@ class CurlClient extends HTTPClient
         return $this->parseResults($result);
     }
 
+    function post($url, $headers=null)
+    {
+    }
+
     function setup($ch)
     {
         curl_setopt_array($ch,
-                          array(CURLOPT_USERAGENT, $this->userAgent(),
+                          array(CURLOPT_USERAGENT => $this->userAgent(),
                                 CURLOPT_HEADER => true,
                                 CURLOPT_RETURNTRANSFER => true));
     }