Code should call session_save_session() before to change the value of the global variable $user

session_save_session(FALSE) should be called before to change the value of $user, and session_save_session(TRUE) should be called after changing back the variable to its original value.