still old deprecated wrappers, some plugins still have addInitEvent() calls

[packages/dokuwiki.git] / dokuwiki-nice_exit.patch

--- 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 @@
 </body>
 </html>
 EOT;
-    exit;
+    exit(1);
 }