session_start(); $old_user = $_SESSION["valid_user"]; $result = session_unregister("valid_user"); session_destroy(); if ( !empty( $old_user ) ) { if ( $result ) {