include/platal.inc.php

   1 <?php
   2 /***************************************************************************
   3  *  Copyright (C) 2003-2006 Polytechnique.org                              *
   4  *  http://opensource.polytechnique.org/                                   *
   5  *                                                                         *
   6  *  This program is free software; you can redistribute it and/or modify   *
   7  *  it under the terms of the GNU General Public License as published by   *
   8  *  the Free Software Foundation; either version 2 of the License, or      *
   9  *  (at your option) any later version.                                    *
  10  *                                                                         *
  11  *  This program is distributed in the hope that it will be useful,        *
  12  *  but WITHOUT ANY WARRANTY; without even the implied warranty of         *
  13  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the          *
  14  *  GNU General Public License for more details.                           *
  15  *                                                                         *
  16  *  You should have received a copy of the GNU General Public License      *
  17  *  along with this program; if not, write to the Free Software            *
  18  *  Foundation, Inc.,                                                      *
  19  *  59 Temple Place, Suite 330, Boston, MA  02111-1307  USA                *
  20  ***************************************************************************/
  21
  22 function microtime_float()
  23 {
  24     list($usec, $sec) = explode(' ', microtime());
  25     return ((float)$usec + (float)$sec);
  26 }
  27 $TIME_BEGIN = microtime_float();
  28
  29 define('AUTH_PUBLIC', 0);
  30 define('AUTH_COOKIE', 1);
  31 define('AUTH_MDP',    2);
  32
  33 define('PERMS_EXT',   'ext');
  34 define('PERMS_USER',  'user');
  35 define('PERMS_ADMIN', 'admin');
  36
  37 define('SKINNED', 0);
  38 define('NO_SKIN', 1);
  39
  40 require_once('platal/env.inc.php');
  41
  42 function pl_url($path, $query = null, $fragment = null)
  43 {
  44     global $platal;
  45
  46     $base = $platal->ns . $path . ($query ? '?'.$query : '');
  47     return $fragment ? $base.'#'.$fragment : $base;
  48 }
  49
  50 function http_redirect($fullurl)
  51 {
  52     if (count($_SESSION)) {
  53         session_write_close();
  54     }
  55     header('Location: '.$fullurl);
  56     exit;
  57 }
  58
  59 function pl_redirect($path, $query = null, $fragment = null)
  60 {
  61     global $globals;
  62     http_redirect($globals->baseurl . '/' . pl_url($path, $query, $fragment));
  63 }
  64
  65 // vim:set et sw=4 sts=4 sws=4 foldmethod=marker:
  66 ?>