buffet: ticket_id is local to RegisterDevice

This is just minor refactoring.  Previously ticket_id_ was a field in the
DeviceRegistrationInfo class, but it was only used in one method
(RegisterDevice) and there was no need to maintain state between calls
to this method.

TEST=FEATURES=test emerge-${BOARD} buffet
BUG=none

Change-Id: I766ffc30cc4ddb4620dff071abd0e52b1f3ae0c7
Reviewed-on: https://chromium-review.googlesource.com/251046
Reviewed-by: Alex Vakulenko <avakulenko@chromium.org>
Commit-Queue: Nathan Bullock <nathanbullock@google.com>
Tested-by: Nathan Bullock <nathanbullock@google.com>
Reviewed-by: Christopher Wiley <wiley@chromium.org>
3 files changed
tree: 317b55bebb5f6db405b03af4ede624074b05f9f7
  1. buffet/