This is a lousy hack, but it may help prevent some of the out-of-sync errors

[plcapi.git] / php / header.php

diff --git a/php/header.php b/php/header.php
index 15d1591..7fbe4da 100644 (file)
--- a/php/header.php
+++ b/php/header.php
@@ -8,7 +8,7 @@
 // Mark Huang <mlhuang@cs.princeton.edu>
 // Copyright (C) 2005-2006 The Trustees of Princeton University
 //
-// $Id: header.php 170 2007-03-30 12:44:11Z thierry $
+// $Id$
 //
 //
 
@@ -117,7 +117,7 @@ class PLCAPI
     curl_setopt($curl, CURLOPT_HTTPHEADER, $header);
 
     // Set some miscellaneous options
-    curl_setopt($curl, CURLOPT_TIMEOUT, 30);
+    curl_setopt($curl, CURLOPT_TIMEOUT, 180);
 
     // Get the output of the request
     curl_setopt($curl, CURLOPT_RETURNTRANSFER, 1);