pyrgrub: cope with configurations with set default="${saved_entry}" line
authorMichael Young <m.a.young@durham.ac.uk>
Tue, 25 Oct 2011 18:21:05 +0000 (19:21 +0100)
committerMichael Young <m.a.young@durham.ac.uk>
Tue, 25 Oct 2011 18:21:05 +0000 (19:21 +0100)
commitb23177b1772ac1fa61b90efaf2380af9b7fa3e9a
treebd8a64f0d043bc89120506e35a80d6332d036a83
parent0c385b2eff8ba3cfeec367d70a26e68e860fa4bb
pyrgrub: cope with configurations with set default="${saved_entry}" line

Fedora 16 grub2 configuration file can have lines like
    set default="${saved_entry}"
and a string containing an integer is expected

Signed-off-by: Michael Young <m.a.young@durham.ac.uk>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
tools/pygrub/src/GrubConf.py