Fix page()->kill() behaviour for php-cli.

Signed-off-by: Florent Bruneau <florent.bruneau@polytechnique.org>

diff --git a/classes/plpage.php b/classes/plpage.php
index 5c2172b..7a28303 100644 (file)
--- a/classes/plpage.php
+++ b/classes/plpage.php
@@ -223,6 +223,12 @@ abstract class PlPage extends Smarty
 
     public function kill($msg)
     {
+        // PHP is used on command line... do not run the whole page stuff.
+        if (php_sapi_name() == 'cli') {
+            echo $msg . "\n";
+            exit;
+        }
+
         global $platal;
 
         $this->assign('platal', $platal);