Moves make_firstname_case to PlUser.

[platal.git] / classes / platal.php

diff --git a/classes/platal.php b/classes/platal.php
index 1c8718d..6d32374 100644 (file)
--- a/classes/platal.php
+++ b/classes/platal.php
@@ -1,6 +1,6 @@
 <?php
 /***************************************************************************
- *  Copyright (C) 2003-2009 Polytechnique.org                              *
+ *  Copyright (C) 2003-2010 Polytechnique.org                              *
  *  http://opensource.polytechnique.org/                                   *
  *                                                                         *
  *  This program is free software; you can redistribute it and/or modify   *
@@ -46,7 +46,7 @@ abstract class Platal
         $sessionclass = PL_SESSION_CLASS;
         $session = new $sessionclass();
         if (!$session->startAvailableAuth()) {
-            Platal::page()->trigError('Données d\'authentification invalide.');
+            Platal::page()->trigError("Données d'authentification invalides.");
         }
 
         $modules    = func_get_args();
@@ -356,6 +356,20 @@ abstract class Platal
         }
     }
 
+       public static function assert($cond, $error, $userfriendly)
+       {
+               global $globals;
+               if ($cond === false) {
+                       header($_SERVER['SERVER_PROTOCOL'] . ' 500 Internal Server Error');
+                       $file = fopen($globals->spoolroot . '/spool/tmp/assert_erros', 'a');
+                       fwrite($file, '<pre>' . pl_entities($error) . '</pre>\n');
+                       fclose($file);
+
+                       Platal::page()->kill($userfriendly);
+               }
+       }
+
+
     static public function &page()
     {
         global $platal;