From cda59f3e930e52de854e1ed806bac69dfda0efda Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Wed, 20 Mar 2013 14:23:15 -0400
Subject: [PATCH] Deal with unknown values for device partition properties in
dump-properties.
---
examples/dump-properties.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/examples/dump-properties.py b/examples/dump-properties.py
index b9726b8e..68d937a5 100644
--- a/examples/dump-properties.py
+++ b/examples/dump-properties.py
@@ -19,7 +19,8 @@ def print_info(obj, info_cls):
if (info_cls == cl.device_info and info_name == "PARTITION_TYPES_EXT"
and isinstance(info_value, list)):
print("%s: %s" % (info_name, [
- cl.device_partition_property_ext.to_string(v) for v in info_value]))
+ cl.device_partition_property_ext.to_string(v,
+ "<unknown device partition property %d>") for v in info_value]))
else:
print("%s: %s" % (info_name, info_value))
--
GitLab