diff --git a/index.php b/index.php index 5be30e065e..fe7fff859f 100755 --- a/index.php +++ b/index.php @@ -12,6 +12,12 @@ /* $Id$ */ + if (! is_file("header.inc.php")) { + echo '