for the configuration of our server that refuses to pick files into
[old-projects.git] / philter / philter / install.d / header.inc.php
CommitLineData
dd8de1ec
PH
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********************************************************************************/
9function get_user_id() {
10 return (isset($_GET['uid']) ? $_GET['uid'] : 0);
11}
12
13function 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" />
1b49941d 27 <script src="philter.js" language="javascript1.3" type="text/javascript"></script>
dd8de1ec
PH
28 </head>
29 <body>
30<?php
31if(!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?>