Relax, its not the end of the world, its just code.
did you try example 1 from the manual page for session_destroy?
may be worth trying session_unset(); before destroy also i think a header redirect to a logged out page is a good idea after the above.