philter/philter/install.d/header.inc.php

   1 <?php
   2 /********************************************************************************
   3 * install.d/header.inc.php : Default header
   4 * ------------------------
   5 *
   6 * This file is part of the philter distribution
   7 * Copyright: See COPYING files that comes with this distribution
   8 ********************************************************************************/
   9 function get_user_id() {
  10     return (isset($_GET['uid']) ? $_GET['uid'] : 0);
  11 }
  12
  13 function is_auth() {
  14     if(get_user_id())
  15         return true;
  16     return false;
  17 }
  18
  19 ?>
  20 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
  21 <html>
  22     <head>
  23         <title>Philter version 0.1</title>
  24         <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
  25         <meta name="description" content="Philter, un créateur de filtres procmails" />
  26         <link rel="stylesheet" type="text/css" href="css/default.css" />
  27         <script src="include/philter.js" language="javascript1.3" type="text/javascript"></script>
  28     </head>
  29     <body>
  30 <?php
  31 if(!is_auth()) {
  32     echo "<p>bad identification</p>";
  33     require("include/footer.inc.php");
  34     exit;
  35 }
  36
  37 /********************************************************************************
  38 * $id: header.inc.php,v 1.2 2003/08/03 16:02:41 madcoder exp $
  39 * vim: set expandtab shiftwidth=4 tabstop=4 softtabstop=4 textwidth=100:
  40 ********************************************************************************/
  41 ?>