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