diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-09-14 13:18:58 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-09-14 13:18:58 +0200 |
| commit | 8f416baead93a48e5799e44b8bd2e2c4859f4e04 (patch) | |
| tree | cd47ac55eb80a39e3225e8b4f3161b88ea16c2cf /includes/Profiler.php | |
| parent | d7d08bd1a17618c7d77a6b9b2989e9f7293d6ed6 (diff) | |
auf Version 1.11 aktualisiert; Login-Bug behoben
Diffstat (limited to 'includes/Profiler.php')
| -rw-r--r-- | includes/Profiler.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/includes/Profiler.php b/includes/Profiler.php index da3a82ed..8e1cd147 100644 --- a/includes/Profiler.php +++ b/includes/Profiler.php @@ -301,6 +301,9 @@ class Profiler { * @static */ function logToDB($name, $timeSum, $eventCount) { + # Do not log anything if database is readonly (bug 5375) + if( wfReadOnly() ) { return; } + # Warning: $wguname is a live patch, it should be moved to Setup.php global $wguname, $wgProfilePerHost; @@ -361,4 +364,4 @@ class Profiler { } -?> + |