--- nfo/site/htdocs/index.php	2004/09/04 14:06:52	1.12
+++ nfo/site/htdocs/index.php	2004/09/05 03:09:47	1.13
@@ -1,11 +1,14 @@
-<?php
+<?php $ID = substr(
 /*------------------------------------------------------------------------------
 --- www.netfrag.org
 --- Main index and content access page.
 --------------------------------------------------------------------------------
 --- rabit, 01:28 24.08.2004
---- $Id: index.php,v 1.12 2004/09/04 14:06:52 rabit Exp $
 ------------------------------------------------------------------------------*/
+   '$Id: index.php,v 1.13 2004/09/05 03:09:47 rabit Exp $'
+//------------------------------------------------------------------------------
+, 5, -2);
+//------------------------------------------------------------------------------
 
 include('inc/common/common.php.inc');
 
@@ -45,12 +48,6 @@
 if(isset($_GET['ot']))
  $common_sessiondata['user_prefs']['outputtype'] = $_GET['ot'];
 
-if(isset($_GET['debug']))
- $common_sessiondata['user_prefs']['debug'] = $_GET['debug'];
-
-if(isset($_GET['benchlist']))
- $common_sessiondata['user_prefs']['benchlist'] = $_GET['benchlist'];
-
 //----------------------------------------------------------
 //- Variable defaults: