--- dokuwiki/inc/init.php~ 2009-11-10 15:31:11.000000000 +0200 +++ dokuwiki/inc/init.php 2009-11-10 15:31:51.307528750 +0200 @@ -526,7 +526,7 @@ EOT; - exit; + exit(1); }