Update user.php to fix duplicate session-duplicate

This fix works in my environment, but as if this fix is wrong this becomes an important issue, so even if this passes tests this fix may be discussed enough.