// -----------------------------------------------------------------------------
// -
// -----------------------------------------------------------------------------
      
Event.observe(window, 'load', function() { startTimer(); });

// -----------------------------------------------------------------------------
// -
// -----------------------------------------------------------------------------

function LogoutTimer( interval, url )
 {
 var timer = "";
 var mouseEvents = [ 'click',
                     'dblclick',
                     'mousedown',
                     'mouseup',
                     'mouseover',
                     'mousemove',
                     'mouseout' ];

 var setTimer = function()
   {
   timer = setInterval( logout, interval);
   }

 var logout = function()
   {
   //console.log('logout');
   window.location = '/logout.php';
   }

 var resetTimer = function()
   {
   //console.log('reset');
   clearInterval(timer);
   setTimer();
   }

 mouseEvents.each( function(e)
  {
  $$('body').invoke('observe', e, resetTimer);
  });

 setTimer();
 }

// -----------------------------------------------------------------------------
// -
// -----------------------------------------------------------------------------

function startTimer()
  {
  var timer = LogoutTimer( 600000 );  
  }