SESSION data on logout is really destroyed. Thus new configuration options,...

nveid

2011-08-28 25c72d9edd2b21fe538a3bfcb66bf05d55be12b3

 interface/lib/classes/db_mysql.inc.php

@@ -54,10 +54,6 @@
      //$this->connect();
   }

   public function __destruct() {
      $this->closeConn();
   }

   /**  Error handler */
   public function updateError($location)
    {