(dev_opt)
| 269 | |
| 270 | |
| 271 | def format_device_option(dev_opt): |
| 272 | if not dev_opt or not ( |
| 273 | dev_opt.device_type or dev_opt.device_id or dev_opt.node_name): |
| 274 | return None |
| 275 | return call( |
| 276 | 'DeviceOption', |
| 277 | [dev_opt.device_type, dev_opt.device_id, "'%s'" % dev_opt.node_name]) |
| 278 | |
| 279 | |
| 280 | @Printer.register(OperatorDef) |