diff options
author | Arun Persaud <arun@nubati.net> | 2012-09-19 22:58:39 -0700 |
---|---|---|
committer | Arun Persaud <arun@nubati.net> | 2012-09-19 22:58:39 -0700 |
commit | 8f0af76bec797c067fc26c49d636e097a1ad87ba (patch) | |
tree | 8a165015aad3ea71a6af1b0743df4154159c4b13 | |
parent | 521ac3b392846c6ccef44c19cc82d63c47432297 (diff) | |
download | e-DoKo-8f0af76bec797c067fc26c49d636e097a1ad87ba.tar.gz e-DoKo-8f0af76bec797c067fc26c49d636e097a1ad87ba.tar.bz2 e-DoKo-8f0af76bec797c067fc26c49d636e097a1ad87ba.zip |
another few "->'
-rw-r--r-- | include/functions.php | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/include/functions.php b/include/functions.php index 344d99e..037da48 100644 --- a/include/functions.php +++ b/include/functions.php @@ -46,20 +46,20 @@ function config_check() if(!isset($ADMIN_EMAIL)) { output_header(); - echo "<h1>Setup not completed</h1>"; - echo "You need to set \$ADMIN_EMAIL in config.php. ". - "If something goes wrong an email will be send to this address."; + echo '<h1>Setup not completed</h1>'; + echo 'You need to set $ADMIN_EMAIL in config.php. '. + 'If something goes wrong an email will be send to this address.'; output_footer(); exit(); } if(!isset($DB_work)) { output_header(); - echo "<h1>Setup not completed</h1>"; - echo "You need to set \$DB_work in config.php. ". - "If this is set to anything else than 0, the game will be suspended and one can work safely on the database. ". - "A message will be displayed that it will probably take about N minutes, with N being the number \$DB_work is set to. ". - "The default should be 0 for the game to work."; + echo '<h1>Setup not completed</h1>'; + echo 'You need to set $DB_work in config.php. '. + 'If this is set to anything else than 0, the game will be suspended and one can work safely on the database. '. + 'A message will be displayed that it will probably take about N minutes, with N being the number $DB_work is set to. '. + 'The default should be 0 for the game to work.'; output_footer(); exit(); } |