title: Drupal timeout - how to amend timeout length?
body: <p>I'm looking to create a custom module which hooks into the Drupal timeout procedure. It needs to fire a quick ping to another server when a user times out - so that they are logged out of the systems on the second server too.</p>
  
  <p>Thing is... I can't find any documentation about how Drupal manages it's timeout. What I have been able to find is all related to PHP.ini.</p>
  
  <p>This leads me to wonder if it's possible to fire an event on timeout at all? Has anyone got experience with this?</p>
  
  <p>Thanks, 
  Hugh</p>