Commit | Line | Data |
---|---|---|
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 | ********************************************************************************/ | |
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 | ||
5d6c0389 PH |
19 | function get_filename() { return get_user_id(); }; |
20 | ||
772509f3 PH |
21 | session_start(); |
22 | ||
dd8de1ec PH |
23 | ?> |
24 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> | |
25 | <html> | |
26 | <head> | |
36c72ceb | 27 | <title>Philter version 0.9</title> |
dd8de1ec PH |
28 | <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> |
29 | <meta name="description" content="Philter, un créateur de filtres procmails" /> | |
30 | <link rel="stylesheet" type="text/css" href="css/default.css" /> | |
1b49941d | 31 | <script src="philter.js" language="javascript1.3" type="text/javascript"></script> |
dd8de1ec PH |
32 | </head> |
33 | <body> | |
34 | <?php | |
35 | if(!is_auth()) { | |
36 | echo "<p>bad identification</p>"; | |
37 | require("include/footer.inc.php"); | |
38 | exit; | |
39 | } | |
40 | ||
41 | /******************************************************************************** | |
42 | * $id: header.inc.php,v 1.2 2003/08/03 16:02:41 madcoder exp $ | |
43 | * vim: set expandtab shiftwidth=4 tabstop=4 softtabstop=4 textwidth=100: | |
44 | ********************************************************************************/ | |
45 | ?> |