diff options
| author | Fabian Deutsch <fabian.deutsch@gmx.de> | 2011-09-29 10:50:28 +0200 |
|---|---|---|
| committer | Brian C. Lane <bcl@redhat.com> | 2011-10-04 09:27:19 -0700 |
| commit | 48573f8d702a1ec9e5413ad701a7c7715270d730 (patch) | |
| tree | 6a60e623c79dd2dd3cb963e778e3b6a5de7c5037 /widgets/python | |
| parent | 23325e92cbd7f64a37b4f5966a0477a4aac6c7db (diff) | |
Fix: Allow EFI slot_ids in hexdecimal (#742141).
Fixes https://bugzilla.redhat.com/show_bug.cgi?id=742141.
As the slot_id can be any hex number we need to match against hex and can't use .isint(), because if this match fails, the target won't be removed which can result in duplicate entries.
Signed-off-by: Fabian Deutsch <fabian.deutsch@gmx.de>
Diffstat (limited to 'widgets/python')
0 files changed, 0 insertions, 0 deletions