git://git.onelab.eu
/
plcapi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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
5172894
..
7fbe4da
100644
(file)
--- a/
php/header.php
+++ b/
php/header.php
@@
-117,7
+117,7
@@
class PLCAPI
curl_setopt($curl, CURLOPT_HTTPHEADER, $header);
// Set some miscellaneous options
- curl_setopt($curl, CURLOPT_TIMEOUT,
3
0);
+ curl_setopt($curl, CURLOPT_TIMEOUT,
18
0);
// Get the output of the request
curl_setopt($curl, CURLOPT_RETURNTRANSFER, 1);