PHP will destroy sessions after they are timed out, but only if your "php.ini" file is set to do this. Often times, you will want to destroy a session before i times out (e.g. when a user logs out), in this case PHP has functions to destroy the session "session_destroy()", "session_unregister()."