| 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 | function get_filename() { return get_user_id(); }; |
| 20 | |
| 21 | session_start(); |
| 22 | |
| 23 | ?> |
| 24 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
| 25 | <html> |
| 26 | <head> |
| 27 | <title>Philter version 0.9</title> |
| 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" /> |
| 31 | <script src="philter.js" language="javascript1.3" type="text/javascript"></script> |
| 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 | ?> |