diff options
| author | Nicolas Vigier <boklm@mageia.org> | 2012-09-29 08:39:08 +0000 |
|---|---|---|
| committer | Nicolas Vigier <boklm@mageia.org> | 2012-09-29 08:39:08 +0000 |
| commit | 44a60b8668fc1456dc4e49066ffb6af14c8d2083 (patch) | |
| tree | 4e4eddf87893c1a34ce5d0b2aa6bcb311bbf8876 /modules/mediawiki/files | |
| parent | 44deb58dcb1ab690bf639692d8f2666852dda6a4 (diff) | |
| download | puppet-44a60b8668fc1456dc4e49066ffb6af14c8d2083.tar puppet-44a60b8668fc1456dc4e49066ffb6af14c8d2083.tar.gz puppet-44a60b8668fc1456dc4e49066ffb6af14c8d2083.tar.bz2 puppet-44a60b8668fc1456dc4e49066ffb6af14c8d2083.tar.xz puppet-44a60b8668fc1456dc4e49066ffb6af14c8d2083.zip | |
exit if config directory doesn't exist
Diffstat (limited to 'modules/mediawiki/files')
| -rw-r--r-- | modules/mediawiki/files/init_wiki.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/modules/mediawiki/files/init_wiki.php b/modules/mediawiki/files/init_wiki.php index 926c52fc..a0e3a520 100644 --- a/modules/mediawiki/files/init_wiki.php +++ b/modules/mediawiki/files/init_wiki.php @@ -2,6 +2,10 @@ $wiki_root = $argv[1]; $mw_root = '/usr/share/mediawiki'; +if (!is_dir("$wiki_root/config")) { + exit(1); +} + // DefaultSettings.php complain if not defined define('MEDIAWIKI',1); |