1 |
<?php |
<?php $ID = substr( |
2 |
/*------------------------------------------------------------------------------ |
/*------------------------------------------------------------------------------ |
3 |
--- www.netfrag.org |
--- www.netfrag.org |
4 |
--- Main index and content access page. |
--- Main index and content access page. |
5 |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
6 |
--- rabit, 01:28 24.08.2004 |
--- rabit, 01:28 24.08.2004 |
|
--- $Id$ |
|
7 |
------------------------------------------------------------------------------*/ |
------------------------------------------------------------------------------*/ |
8 |
|
'$Id$' |
9 |
|
//------------------------------------------------------------------------------ |
10 |
|
, 5, -2); |
11 |
|
//------------------------------------------------------------------------------ |
12 |
|
|
13 |
include('inc/common/common.php.inc'); |
include('inc/common/common.php.inc'); |
14 |
|
|
48 |
if(isset($_GET['ot'])) |
if(isset($_GET['ot'])) |
49 |
$common_sessiondata['user_prefs']['outputtype'] = $_GET['ot']; |
$common_sessiondata['user_prefs']['outputtype'] = $_GET['ot']; |
50 |
|
|
|
if(isset($_GET['debug'])) |
|
|
$common_sessiondata['user_prefs']['debug'] = $_GET['debug']; |
|
|
|
|
|
if(isset($_GET['benchlist'])) |
|
|
$common_sessiondata['user_prefs']['benchlist'] = $_GET['benchlist']; |
|
|
|
|
51 |
//---------------------------------------------------------- |
//---------------------------------------------------------- |
52 |
//- Variable defaults: |
//- Variable defaults: |
53 |
|
|