original_string: protected function restoreUserSessionBackup()
      {
          if ($this->userSessionBackup === null) {
              unset($_SESSION[self::SESSION_PARAMETER_CLOUDCONTROL]);
          } else {
              $_SESSION[self::SESSION_PARAMETER_CLOUDCONTROL] = $this->userSessionBackup;
          }
      }
code: protected function restoreUserSessionBackup()
      {
          if ($this->userSessionBackup === null) {
              unset($_SESSION[self::SESSION_PARAMETER_CLOUDCONTROL]);
          } else {
              $_SESSION[self::SESSION_PARAMETER_CLOUDCONTROL] = $this->userSessionBackup;
          }
      }
code_tokens: protected function restoreUserSessionBackup ( ) { if ( $ this -> userSessionBackup === null ) { unset ( $ _SESSION [ self :: SESSION_PARAMETER_CLOUDCONTROL ] ) ; } else { $ _SESSION [ self :: SESSION_PARAMETER_CLOUDCONTROL ] = $ this -> userSessionBackup ; } }
docstring: Removes the fake user and restores the existing user
  session if it was there
docstring_tokens: Removes the fake user and restores the existing user session if it was there