I think this can be omitted po since you already have <pre>session_destroy()</pre>