diff options
Diffstat (limited to 'tools/python/xen/xm/opts.py')
-rw-r--r-- | tools/python/xen/xm/opts.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/python/xen/xm/opts.py b/tools/python/xen/xm/opts.py index f92c82dfe6..30900450dc 100644 --- a/tools/python/xen/xm/opts.py +++ b/tools/python/xen/xm/opts.py @@ -451,6 +451,13 @@ def set_bool(opt, k, v): else: opt.opts.err('Invalid value:' +v) +def set_u32(opt, k, v): + """Set an option to an u32 value.""" + try: + v = u32(v) + except: + opt.opts.err('Invalid value: ' + str(v)) + opt.set(v) def set_value(opt, k, v): """Set an option to a value.""" |