xref: /dokuwiki/inc/init.php (revision 8a447e5c940231e5547004c8343801b7f59f1df9)
1ed7b5f09Sandi<?php
2ed7b5f09Sandi/**
3ed7b5f09Sandi * Initialize some defaults needed for DokuWiki
4ed7b5f09Sandi */
5ed7b5f09Sandi
6a609a9ccSBen Coburn  // start timing Dokuwiki execution
7a609a9ccSBen Coburn  function delta_time($start=0) {
8a609a9ccSBen Coburn    list($usec, $sec) = explode(" ", microtime());
9a609a9ccSBen Coburn    return ((float)$usec+(float)$sec)-((float)$start);
10a609a9ccSBen Coburn  }
11a609a9ccSBen Coburn  define('DOKU_START_TIME', delta_time());
12a609a9ccSBen Coburn
13ed7b5f09Sandi  // define the include path
14ed7b5f09Sandi  if(!defined('DOKU_INC')) define('DOKU_INC',realpath(dirname(__FILE__).'/../').'/');
15ad15db82Sandi
16e7cb32dcSAndreas Gohr  // define config path (packagers may want to change this to /etc/dokuwiki/)
17b7551a6dSEsther Brunner  if(!defined('DOKU_CONF')) define('DOKU_CONF',DOKU_INC.'conf/');
18e7cb32dcSAndreas Gohr
19bad905f1SBen Coburn  // check for error reporting override or set error reporting to sane values
20d8186216SBen Coburn  if (!defined('DOKU_E_LEVEL') && @file_exists(DOKU_CONF.'report_e_all')) {
21bad905f1SBen Coburn    define('DOKU_E_LEVEL', E_ALL);
22bad905f1SBen Coburn  }
23bad905f1SBen Coburn  if (!defined('DOKU_E_LEVEL')) { error_reporting(E_ALL ^ E_NOTICE); }
24bad905f1SBen Coburn  else { error_reporting(DOKU_E_LEVEL); }
25c53ea5f2Sandi
2650602150SBen Coburn  // init memory caches
27bc3e97beSAndreas Gohr  global $cache_revinfo;  $cache_revinfo = array();
28bc3e97beSAndreas Gohr  global $cache_wikifn;   $cache_wikifn = array();
29a424cd8eSchris  global $cache_cleanid;  $cache_cleanid = array();
30a424cd8eSchris  global $cache_authname; $cache_authname = array();
310a7e3bceSchris  global $cache_metadata; $cache_metadata = array();
3250602150SBen Coburn
334724a577Sandi  //prepare config array()
34ee20e7d1Sandi  global $conf;
3503c4aec3Schris  if (!defined('DOKU_UNITTEST')) {
364724a577Sandi    $conf = array();
374724a577Sandi
38ad15db82Sandi    // load the config file(s)
39e7cb32dcSAndreas Gohr    require_once(DOKU_CONF.'dokuwiki.php');
400a6ead41SAndreas Gohr    if(@file_exists(DOKU_CONF.'local.php')){
410a6ead41SAndreas Gohr      require_once(DOKU_CONF.'local.php');
420a6ead41SAndreas Gohr    }
4303c4aec3Schris  }
44ad15db82Sandi
45ad15db82Sandi  //prepare language array
46ee20e7d1Sandi  global $lang;
47ad15db82Sandi  $lang = array();
48ed7b5f09Sandi
4916521111Sandi  //load the language files
50bc3b6aecSandi  require_once(DOKU_INC.'inc/lang/en/lang.php');
51f949a01cSAndreas Gohr  if ( $conf['lang'] && $conf['lang'] != 'en' ) {
52bc3b6aecSandi    require_once(DOKU_INC.'inc/lang/'.$conf['lang'].'/lang.php');
53fc1c55b1Shfuecks  }
5416521111Sandi
55ed7b5f09Sandi  // define baseURL
56ed7b5f09Sandi  if(!defined('DOKU_BASE')) define('DOKU_BASE',getBaseURL());
57ed7b5f09Sandi  if(!defined('DOKU_URL'))  define('DOKU_URL',getBaseURL(true));
58ed7b5f09Sandi
59e71ce681SAndreas Gohr  // define cookie and session id
60e71ce681SAndreas Gohr  if (!defined('DOKU_COOKIE')) define('DOKU_COOKIE', 'DW'.md5(DOKU_URL));
61e71ce681SAndreas Gohr
62ee20e7d1Sandi  // define Plugin dir
63f62ea8a1Sandi  if(!defined('DOKU_PLUGIN'))  define('DOKU_PLUGIN',DOKU_INC.'lib/plugins/');
64ee20e7d1Sandi
65ed7b5f09Sandi  // define main script
66ed7b5f09Sandi  if(!defined('DOKU_SCRIPT')) define('DOKU_SCRIPT','doku.php');
67ed7b5f09Sandi
686b13307fSandi  // define Template baseURL
696b13307fSandi  if(!defined('DOKU_TPL')) define('DOKU_TPL',
70f62ea8a1Sandi                                  DOKU_BASE.'lib/tpl/'.$conf['template'].'/');
716b13307fSandi
7278a6aeb1SAndreas Gohr  // define real Template directory
7378a6aeb1SAndreas Gohr  if(!defined('DOKU_TPLINC')) define('DOKU_TPLINC',
7478a6aeb1SAndreas Gohr                                  DOKU_INC.'lib/tpl/'.$conf['template'].'/');
7578a6aeb1SAndreas Gohr
76ed7b5f09Sandi  // make session rewrites XHTML compliant
773fc74836Sandi  @ini_set('arg_separator.output', '&amp;');
78ed7b5f09Sandi
79d7e6bba9SAndreas Gohr  // make sure global zlib does not interfere FS#1132
80d7e6bba9SAndreas Gohr  @ini_set('zlib.output_compression', 'off');
81d7e6bba9SAndreas Gohr
823138b5c7SAndreas Gohr  // enable gzip compression
833138b5c7SAndreas Gohr  if ($conf['gzip_output'] &&
843138b5c7SAndreas Gohr      !defined('DOKU_DISABLE_GZIP_OUTPUT') &&
853138b5c7SAndreas Gohr      function_exists('ob_gzhandler') &&
863138b5c7SAndreas Gohr      preg_match('/gzip|deflate/', $_SERVER['HTTP_ACCEPT_ENCODING'])) {
873138b5c7SAndreas Gohr    ob_start('ob_gzhandler');
883138b5c7SAndreas Gohr  }
893138b5c7SAndreas Gohr
90ed7b5f09Sandi  // init session
916534245aSAndreas Gohr  if (!headers_sent() && !defined('NOSESSION')){
92ed7b5f09Sandi    session_name("DokuWiki");
93f77429b8SAndreas Gohr    session_set_cookie_params(0, DOKU_BASE);
94bad31ae9SAndreas Gohr    session_start();
95bad31ae9SAndreas Gohr  }
96ed7b5f09Sandi
97ed7b5f09Sandi  // kill magic quotes
98e55eb89cSAndreas Gohr  if (get_magic_quotes_gpc() && !defined('MAGIC_QUOTES_STRIPPED')) {
99ed7b5f09Sandi    if (!empty($_GET))    remove_magic_quotes($_GET);
100ed7b5f09Sandi    if (!empty($_POST))   remove_magic_quotes($_POST);
101ed7b5f09Sandi    if (!empty($_COOKIE)) remove_magic_quotes($_COOKIE);
102ed7b5f09Sandi    if (!empty($_REQUEST)) remove_magic_quotes($_REQUEST);
1033fc74836Sandi    @ini_set('magic_quotes_gpc', 0);
104e55eb89cSAndreas Gohr    define('MAGIC_QUOTES_STRIPPED',1);
105ed7b5f09Sandi  }
1063fc74836Sandi  @set_magic_quotes_runtime(0);
1073fc74836Sandi  @ini_set('magic_quotes_sybase',0);
108ed7b5f09Sandi
109a1637ffdSAndreas Gohr  // don't let cookies ever interfere with request vars
110a1637ffdSAndreas Gohr  $_REQUEST = array_merge($_GET,$_POST);
111a1637ffdSAndreas Gohr
112ed7b5f09Sandi  // disable gzip if not available
113*8a447e5cSAndreas Gohr  if($conf['compression'] == 'bz2' && !function_exists('bzopen')){
114fe893490SAndreas Gohr    $conf['compression'] = 'gz';
115501252a5SAndreas Gohr  }
116fe893490SAndreas Gohr  if($conf['compression'] == 'gz' && !function_exists('gzopen')){
117501252a5SAndreas Gohr    $conf['compression'] = 0;
118ed7b5f09Sandi  }
119ed7b5f09Sandi
1201ca31cfeSAndreas Gohr  // precalculate file creation modes
1211ca31cfeSAndreas Gohr  init_creationmodes();
122ed7b5f09Sandi
1233dc3a5f1Sandi  // make real paths and check them
12498407a7aSandi  init_paths();
1257367b368SAndreas Gohr  init_files();
126ed7b5f09Sandi
1278c4f28e8Sjan  // automatic upgrade to script versions of certain files
128e7cb32dcSAndreas Gohr  scriptify(DOKU_CONF.'users.auth');
129e7cb32dcSAndreas Gohr  scriptify(DOKU_CONF.'acl.auth');
130f62ea8a1Sandi
131f62ea8a1Sandi
132f62ea8a1Sandi/**
13398407a7aSandi * Checks paths from config file
13498407a7aSandi */
13598407a7aSandifunction init_paths(){
13698407a7aSandi  global $conf;
13798407a7aSandi
13898407a7aSandi  $paths = array('datadir'   => 'pages',
13998407a7aSandi                 'olddir'    => 'attic',
14098407a7aSandi                 'mediadir'  => 'media',
14198407a7aSandi                 'metadir'   => 'meta',
14298407a7aSandi                 'cachedir'  => 'cache',
143579b0f7eSTNHarris                 'indexdir'  => 'index',
14471726d78SBen Coburn                 'lockdir'   => 'locks');
14598407a7aSandi
14698407a7aSandi  foreach($paths as $c => $p){
147bb4866bdSchris    if(empty($conf[$c]))  $conf[$c] = $conf['savedir'].'/'.$p;
14898407a7aSandi    $conf[$c]             = init_path($conf[$c]);
1491983acc2SGuy Brand    if(empty($conf[$c]))  nice_die("The $c ('$p') does not exist, isn't accessible or writable.
15069dc3177SAndreas Gohr                               You should check your config and permission settings.
15169dc3177SAndreas Gohr                               Or maybe you want to <a href=\"install.php\">run the
15269dc3177SAndreas Gohr                               installer</a>?");
15398407a7aSandi  }
15471726d78SBen Coburn
15571726d78SBen Coburn  // path to old changelog only needed for upgrading
15671726d78SBen Coburn  $conf['changelog_old'] = init_path((isset($conf['changelog']))?($conf['changelog']):($conf['savedir'].'/changes.log'));
15771726d78SBen Coburn  if ($conf['changelog_old']=='') { unset($conf['changelog_old']); }
15871726d78SBen Coburn  // hardcoded changelog because it is now a cache that lives in meta
15971726d78SBen Coburn  $conf['changelog'] = $conf['metadir'].'/_dokuwiki.changes';
16098407a7aSandi}
16198407a7aSandi
16298407a7aSandi/**
1630d8850c4SAndreas Gohr * Checks the existance of certain files and creates them if missing.
1647367b368SAndreas Gohr */
1657367b368SAndreas Gohrfunction init_files(){
1667367b368SAndreas Gohr  global $conf;
1670d8850c4SAndreas Gohr
168579b0f7eSTNHarris  $files = array( $conf['indexdir'].'/page.idx');
1697367b368SAndreas Gohr
1707367b368SAndreas Gohr  foreach($files as $file){
1717367b368SAndreas Gohr    if(!@file_exists($file)){
1720d8850c4SAndreas Gohr      $fh = @fopen($file,'a');
1730d8850c4SAndreas Gohr      if($fh){
1747367b368SAndreas Gohr        fclose($fh);
1751ca31cfeSAndreas Gohr        if($conf['fperm']) chmod($file, $conf['fperm']);
1760d8850c4SAndreas Gohr      }else{
1773816dcbcSAndreas Gohr        nice_die("$file is not writable. Check your permissions settings!");
1780d8850c4SAndreas Gohr      }
1797367b368SAndreas Gohr    }
1807367b368SAndreas Gohr  }
1817367b368SAndreas Gohr}
1827367b368SAndreas Gohr
1837367b368SAndreas Gohr/**
1840d8850c4SAndreas Gohr * Returns absolute path
185f62ea8a1Sandi *
1860d8850c4SAndreas Gohr * This tries the given path first, then checks in DOKU_INC.
1870d8850c4SAndreas Gohr * Check for accessability on directories as well.
1880d8850c4SAndreas Gohr *
1890d8850c4SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
190f62ea8a1Sandi */
191f62ea8a1Sandifunction init_path($path){
1920d8850c4SAndreas Gohr  // check existance
193f62ea8a1Sandi  $p = realpath($path);
1940d8850c4SAndreas Gohr  if(!@file_exists($p)){
195f62ea8a1Sandi    $p = realpath(DOKU_INC.$path);
1960d8850c4SAndreas Gohr    if(!@file_exists($p)){
1978fc4e739Sandi      return '';
198f62ea8a1Sandi    }
1990d8850c4SAndreas Gohr  }
2000d8850c4SAndreas Gohr
2010d8850c4SAndreas Gohr  // check writability
2020d8850c4SAndreas Gohr  if(!@is_writable($p)){
2030d8850c4SAndreas Gohr    return '';
2040d8850c4SAndreas Gohr  }
2050d8850c4SAndreas Gohr
2060d8850c4SAndreas Gohr  // check accessability (execute bit) for directories
2070d8850c4SAndreas Gohr  if(@is_dir($p) && !@file_exists("$p/.")){
2080d8850c4SAndreas Gohr    return '';
2090d8850c4SAndreas Gohr  }
2100d8850c4SAndreas Gohr
2110d8850c4SAndreas Gohr  return $p;
2120d8850c4SAndreas Gohr}
2138c4f28e8Sjan
214ed7b5f09Sandi/**
2151ca31cfeSAndreas Gohr * Sets the internal config values fperm and dperm which, when set,
2161ca31cfeSAndreas Gohr * will be used to change the permission of a newly created dir or
2171ca31cfeSAndreas Gohr * file with chmod. Considers the influence of the system's umask
2181ca31cfeSAndreas Gohr * setting the values only if needed.
2191ca31cfeSAndreas Gohr */
2201ca31cfeSAndreas Gohrfunction init_creationmodes(){
2211ca31cfeSAndreas Gohr  global $conf;
2221ca31cfeSAndreas Gohr
2231ca31cfeSAndreas Gohr  // Legacy support for old umask/dmask scheme
2241ca31cfeSAndreas Gohr  unset($conf['dmask']);
2251ca31cfeSAndreas Gohr  unset($conf['fmask']);
2261ca31cfeSAndreas Gohr  unset($conf['umask']);
2271ca31cfeSAndreas Gohr  unset($conf['fperm']);
2281ca31cfeSAndreas Gohr  unset($conf['dperm']);
2291ca31cfeSAndreas Gohr
2309f3cdec3SAndreas Gohr  // get system umask, fallback to 0 if none available
2319f3cdec3SAndreas Gohr  $umask = @umask();
2329f3cdec3SAndreas Gohr  if(!$umask) $umask = 0000;
2331ca31cfeSAndreas Gohr
2341ca31cfeSAndreas Gohr  // check what is set automatically by the system on file creation
2351ca31cfeSAndreas Gohr  // and set the fperm param if it's not what we want
2361ca31cfeSAndreas Gohr  $auto_fmode = 0666 & ~$umask;
2371ca31cfeSAndreas Gohr  if($auto_fmode != $conf['fmode']) $conf['fperm'] = $conf['fmode'];
2381ca31cfeSAndreas Gohr
2391ca31cfeSAndreas Gohr  // check what is set automatically by the system on file creation
2401ca31cfeSAndreas Gohr  // and set the dperm param if it's not what we want
2411ca31cfeSAndreas Gohr  $auto_dmode = $conf['dmode'] & ~$umask;
2421ca31cfeSAndreas Gohr  if($auto_dmode != $conf['dmode']) $conf['dperm'] = $conf['dmode'];
2431ca31cfeSAndreas Gohr}
2441ca31cfeSAndreas Gohr
2451ca31cfeSAndreas Gohr/**
246ed7b5f09Sandi * remove magic quotes recursivly
247ed7b5f09Sandi *
248ed7b5f09Sandi * @author Andreas Gohr <andi@splitbrain.org>
249ed7b5f09Sandi */
250ed7b5f09Sandifunction remove_magic_quotes(&$array) {
251ed7b5f09Sandi  foreach (array_keys($array) as $key) {
252ed7b5f09Sandi    if (is_array($array[$key])) {
253ed7b5f09Sandi      remove_magic_quotes($array[$key]);
254ed7b5f09Sandi    }else {
255ed7b5f09Sandi      $array[$key] = stripslashes($array[$key]);
256ed7b5f09Sandi    }
257ed7b5f09Sandi  }
258ed7b5f09Sandi}
259ed7b5f09Sandi
260ed7b5f09Sandi/**
261ed7b5f09Sandi * Returns the full absolute URL to the directory where
262ed7b5f09Sandi * DokuWiki is installed in (includes a trailing slash)
263ed7b5f09Sandi *
264ed7b5f09Sandi * @author Andreas Gohr <andi@splitbrain.org>
265ed7b5f09Sandi */
266ed7b5f09Sandifunction getBaseURL($abs=false){
267ed7b5f09Sandi  global $conf;
268ed7b5f09Sandi  //if canonical url enabled always return absolute
269ed7b5f09Sandi  if($conf['canonical']) $abs = true;
270ed7b5f09Sandi
27192b83b77Sandi  if($conf['basedir']){
272919eeb46Sandi    $dir = $conf['basedir'].'/';
27389aa05dbSAndreas Gohr  }elseif(substr($_SERVER['SCRIPT_NAME'],-4) == '.php'){
274bdc127a4Sandi    $dir = dirname($_SERVER['SCRIPT_NAME']).'/';
27589aa05dbSAndreas Gohr  }elseif(substr($_SERVER['PHP_SELF'],-4) == '.php'){
27689aa05dbSAndreas Gohr    $dir = dirname($_SERVER['PHP_SELF']).'/';
277093ec9e4Sandi  }elseif($_SERVER['DOCUMENT_ROOT'] && $_SERVER['SCRIPT_FILENAME']){
278093ec9e4Sandi    $dir = preg_replace ('/^'.preg_quote($_SERVER['DOCUMENT_ROOT'],'/').'/','',
279093ec9e4Sandi                         $_SERVER['SCRIPT_FILENAME']);
280093ec9e4Sandi    $dir = dirname('/'.$dir).'/';
28192b83b77Sandi  }else{
28289aa05dbSAndreas Gohr    $dir = './'; //probably wrong
28392b83b77Sandi  }
284ed7b5f09Sandi
285ed7b5f09Sandi  $dir = str_replace('\\','/',$dir); #bugfix for weird WIN behaviour
286ed7b5f09Sandi  $dir = preg_replace('#//+#','/',$dir);
287ed7b5f09Sandi
288f62ea8a1Sandi  //handle script in lib/exe dir
289f62ea8a1Sandi  $dir = preg_replace('!lib/exe/$!','',$dir);
290f62ea8a1Sandi
291488d5fa0SMichael Klier chi@chimeric.de  //handle script in lib/plugins dir
292488d5fa0SMichael Klier chi@chimeric.de  $dir = preg_replace('!lib/plugins/.*$!','',$dir);
293488d5fa0SMichael Klier chi@chimeric.de
294ed7b5f09Sandi  //finish here for relative URLs
295ed7b5f09Sandi  if(!$abs) return $dir;
296ed7b5f09Sandi
297ef7b3ecdSAndreas Gohr  //use config option if available
298ef7b3ecdSAndreas Gohr  if($conf['baseurl']) return $conf['baseurl'].$dir;
299ef7b3ecdSAndreas Gohr
300e82e3526SAndreas Gohr  //split hostheader into host and port
301e82e3526SAndreas Gohr  list($host,$port) = explode(':',$_SERVER['HTTP_HOST']);
302e82e3526SAndreas Gohr  if(!$port)  $port = $_SERVER['SERVER_PORT'];
303e82e3526SAndreas Gohr  if(!$port)  $port = 80;
304ed7b5f09Sandi
305ed7b5f09Sandi  // see if HTTPS is enabled - apache leaves this empty when not available,
306ed7b5f09Sandi  // IIS sets it to 'off', 'false' and 'disabled' are just guessing
307ed7b5f09Sandi  if (preg_match('/^(|off|false|disabled)$/i',$_SERVER['HTTPS'])){
308ed7b5f09Sandi    $proto = 'http://';
309e82e3526SAndreas Gohr    if ($port == '80') {
310ed7b5f09Sandi      $port='';
311ed7b5f09Sandi    }
312ed7b5f09Sandi  }else{
313ed7b5f09Sandi    $proto = 'https://';
314e82e3526SAndreas Gohr    if ($port == '443') {
315ed7b5f09Sandi      $port='';
316ed7b5f09Sandi    }
317ed7b5f09Sandi  }
318ed7b5f09Sandi
319e82e3526SAndreas Gohr  if($port) $port = ':'.$port;
320e82e3526SAndreas Gohr
321ed7b5f09Sandi  return $proto.$host.$port.$dir;
322ed7b5f09Sandi}
323ed7b5f09Sandi
324b000c6d4Sandi/**
325b000c6d4Sandi * Append a PHP extension to a given file and adds an exit call
326b000c6d4Sandi *
327b000c6d4Sandi * This is used to migrate some old configfiles. An added PHP extension
328b000c6d4Sandi * ensures the contents are not shown to webusers even if .htaccess files
329b000c6d4Sandi * do not work
330b000c6d4Sandi *
331b000c6d4Sandi * @author Jan Decaluwe <jan@jandecaluwe.com>
332b000c6d4Sandi */
3338c4f28e8Sjanfunction scriptify($file) {
3348c4f28e8Sjan  // checks
3358c4f28e8Sjan  if (!is_readable($file)) {
3368c4f28e8Sjan    return;
3378c4f28e8Sjan  }
3388c4f28e8Sjan  $fn = $file.'.php';
3398c4f28e8Sjan  if (@file_exists($fn)) {
3408c4f28e8Sjan    return;
3418c4f28e8Sjan  }
3428c4f28e8Sjan  $fh = fopen($fn, 'w');
3438c4f28e8Sjan  if (!$fh) {
3443816dcbcSAndreas Gohr    nice_die($fn.' is not writable. Check your permission settings!');
3458c4f28e8Sjan  }
3468c4f28e8Sjan  // write php exit hack first
3478c4f28e8Sjan  fwrite($fh, "# $fn\n");
3488c4f28e8Sjan  fwrite($fh, '# <?php exit()?>'."\n");
3498c4f28e8Sjan  fwrite($fh, "# Don't modify the lines above\n");
3508c4f28e8Sjan  fwrite($fh, "#\n");
3518c4f28e8Sjan  // copy existing lines
3528c4f28e8Sjan  $lines = file($file);
3538c4f28e8Sjan  foreach ($lines as $line){
3548c4f28e8Sjan    fwrite($fh, $line);
3558c4f28e8Sjan  }
3563ba793e2Sandi  fclose($fh);
357b000c6d4Sandi  //try to rename the old file
3583aee4c27SAndreas Gohr  io_rename($file,"$file.old");
3598c4f28e8Sjan}
3608c4f28e8Sjan
3613816dcbcSAndreas Gohr/**
3623816dcbcSAndreas Gohr * print a nice message even if no styles are loaded yet.
3633816dcbcSAndreas Gohr */
3643816dcbcSAndreas Gohrfunction nice_die($msg){
3653816dcbcSAndreas Gohr  echo<<<EOT
3663816dcbcSAndreas Gohr  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
3673816dcbcSAndreas Gohr   "http://www.w3.org/TR/html4/loose.dtd">
3683816dcbcSAndreas Gohr  <html>
3693816dcbcSAndreas Gohr    <head><title>DokuWiki Setup Error</title></head>
3703816dcbcSAndreas Gohr    <body style="font-family: Arial, sans-serif">
3713816dcbcSAndreas Gohr      <div style="width:60%; margin: auto; background-color: #fcc;
3723816dcbcSAndreas Gohr                  border: 1px solid #faa; padding: 0.5em 1em;">
3733816dcbcSAndreas Gohr      <h1 style="font-size: 120%">DokuWiki Setup Error</h1>
3743816dcbcSAndreas Gohr      <p>$msg</p>
3753816dcbcSAndreas Gohr      </div>
3763816dcbcSAndreas Gohr    </body>
3773816dcbcSAndreas Gohr  </html>
3783816dcbcSAndreas GohrEOT;
3793816dcbcSAndreas Gohr  exit;
3803816dcbcSAndreas Gohr}
3813816dcbcSAndreas Gohr
382ed7b5f09Sandi
383340756e4Sandi//Setup VIM: ex: et ts=2 enc=utf-8 :
384