tree 74bb6758db84786a057516f62b9c8d2eec28f8ba
parent fbff4891678e3667db48517ebd3559ca52dbe1bc
author Svet Ganov <svetoslavganov@google.com> 1405358293 -0700
committer Svetoslav Ganov <svetoslavganov@google.com> 1405358881 +0000

Rename historical records if printer name changed.

We keep track of previously used printers. It is possible that the name
of a previously used printer changed. In this case we want to change
this printer's name in the historical records to be able to show the
correct name in the UI when loading the history.

bug:13524346

Change-Id: I0a37bd52a564df5a84c816abfcf03db83de93b97