title: How to destroy a specific PHP session
body: <p>I am looking for insights into how to destroy a specific session in PHP. Through a partner website a user logs into the main website using a token and obtains a full session. </p>
  
  <p>It is also possible for the partner website to call a destroy function if the user logouts from the partner website. We should then also log out our own user. </p>
  
  <p>What is the best approach to this? The <strong>Zend_Session</strong> destroy method does not accept a parameter, similarly the PHP function <strong>session_destroy</strong> does neither. </p>
  
  <p>I am considering two options: </p>
  
  <ol>
  <li><p>Removing the session information directly from file/memcache but would prefer a "cleaner" approach than this. </p></li>
  <li><p>Checking at every page request if this is a "token" user ; and if then check if their token was expired by maintaining a list. This adds overhead to a busy website, but might be my only option.</p></li>
  </ol>
  
  <p>Or is there a third / better approach I am not seeing?</p>