better message when working on the database or having edoko offline for other reasons.

diff --git a/css/standard.css b/css/standard.css
index 8f609f5520cbbd86e054a0d2c6540747fe48782a..e0f0dd0be301ada7949818e26923c2671094e88f 100644 (file)
--- a/css/standard.css
+++ b/css/standard.css
@@ -58,6 +58,16 @@ footer .left  { float:left;         font-size:smaller;}
   font-size: smaller;
 }
 
   font-size: smaller;
 }
 

+.WIP {
+  background-color: #eee;
+  text-size: larger;
+  text-align: center;
+  margin: 30px 10% ;
+  border-radius: 5px;
+  border: 2px solid red;
+  padding: 10px;
+}
+

 /* sessions */
 .session {
   border-bottom: 1px solid #000;
 /* sessions */
 .session {
   border-bottom: 1px solid #000;

diff --git a/include/functions.php b/include/functions.php
index 84a0fccb76e21d12398d528016486e7babb94286..8bcdede83f587cbfd42abe44f299364741a6680b 100644 (file)
--- a/include/functions.php
+++ b/include/functions.php
@@ -57,7 +57,8 @@ function config_check()
       output_header();
       echo "<h1>Setup not completed</h1>";
       echo "You need to set \$DB_work in config.php. ".
       output_header();
       echo "<h1>Setup not completed</h1>";
       echo "You need to set \$DB_work in config.php. ".

-       "If this is set to 1, the game will be suspended and one can work safely on the database.".
+       "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();
        "The default should be 0 for the game to work.";
       output_footer();
       exit();


@@ -65,7 +66,9 @@ function config_check()
   if($DB_work)
     {
       output_header();
   if($DB_work)
     {
       output_header();

-      echo "Working on the database...please check back later.";
+      echo '<div class="WIP">'.
+       _("Working on some aspect of e-DoKo... This will probably take max. $DB_work minutes. It could be over in a few seconds too though ;)").
+       '</div>';

       output_footer();
       exit();
     }
       output_footer();
       exit();
     }