--- RESTServer.inc.orig	2011-04-06 23:13:56.000000000 +0200
+++ RESTServer.inc	2011-04-06 23:16:31.000000000 +0200
@@ -21,6 +21,9 @@ class RESTServer {
 
     // Determine the request method
     $method = $_SERVER['REQUEST_METHOD'];
+    if ($method=='POST' && isset($_SERVER['HTTP_X_HTTP_METHOD_OVERRIDE'])) {
+      $method = $_SERVER['HTTP_X_HTTP_METHOD_OVERRIDE'];
+    }
     if ($method=='POST' && (isset($_GET['_method']) && $_GET['_method'])) {
       $method = $_GET['_method'];
     }