dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
047a82a
)
When running PHP from the command line the default setting is 0...except when it...
author
Chad Horohoe
<demon@users.mediawiki.org>
Sat, 15 Aug 2009 20:56:11 +0000
(20:56 +0000)
committer
Chad Horohoe
<demon@users.mediawiki.org>
Sat, 15 Aug 2009 20:56:11 +0000
(20:56 +0000)
maintenance/Maintenance.php
patch
|
blob
|
history
diff --git
a/maintenance/Maintenance.php
b/maintenance/Maintenance.php
index
ba59b98
..
1d2d115
100644
(file)
--- a/
maintenance/Maintenance.php
+++ b/
maintenance/Maintenance.php
@@
-327,6
+327,11
@@
abstract class Maintenance {
# Set the memory limit
ini_set( 'memory_limit', -1 );
+ # Set max execution time to 0 (no limit). PHP.net says that
+ # "When running PHP from the command line the default setting is 0."
+ # But sometimes this doesn't seem to be the case.
+ ini_set( 'max_execution_time', 0 );
+
$wgRequestTime = microtime( true );
# Define us as being in MediaWiki