| Index: trunk/phase3/index.php |
| — | — | @@ -88,7 +88,7 @@ |
| 89 | 89 | } else { |
| 90 | 90 | echo "Waiting for a database server: $lag seconds lagged\n"; |
| 91 | 91 | } |
| 92 | | - exit; |
| | 92 | + return; |
| 93 | 93 | } |
| 94 | 94 | } |
| 95 | 95 | |
| — | — | @@ -108,7 +108,7 @@ |
| 109 | 109 | $dispatcher->performAction(); |
| 110 | 110 | wfProfileOut( 'index.php' ); |
| 111 | 111 | $mediaWiki->restInPeace(); |
| 112 | | - exit; |
| | 112 | + return; |
| 113 | 113 | } |
| 114 | 114 | |
| 115 | 115 | if ( $wgUseFileCache && $wgTitle !== null ) { |
| — | — | @@ -132,7 +132,7 @@ |
| 133 | 133 | $mediaWiki->finalCleanup(); |
| 134 | 134 | wfProfileOut( 'index.php' ); |
| 135 | 135 | $mediaWiki->restInPeace(); |
| 136 | | - exit; |
| | 136 | + return; |
| 137 | 137 | } |
| 138 | 138 | } |
| 139 | 139 | wfProfileOut( 'index.php-filecache' ); |