diff options
| author | Jan Kiszka <jan.kiszka@web.de> | 2009-06-26 00:04:10 +0200 |
|---|---|---|
| committer | Anthony Liguori <aliguori@us.ibm.com> | 2009-06-29 14:18:07 -0500 |
| commit | a62acdc0cc5308706e2503557a09828979b59a12 (patch) | |
| tree | a8621c08e5146013d1703901b6edccfacfa3cf6e /hw/pci-hotplug.c | |
| parent | 8d2ba1fb9c8e7006e10d71fa51a020977f14c8b0 (diff) | |
monitor: Make pci_add device options truely optional
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
Diffstat (limited to 'hw/pci-hotplug.c')
| -rw-r--r-- | hw/pci-hotplug.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/hw/pci-hotplug.c b/hw/pci-hotplug.c index f7d38a70d6..d0f2911d65 100644 --- a/hw/pci-hotplug.c +++ b/hw/pci-hotplug.c @@ -153,6 +153,10 @@ void pci_device_hot_add(Monitor *mon, const char *pci_addr, const char *type, pci_addr += 9; } + if (!opts) { + opts = ""; + } + if (!strcmp(pci_addr, "auto")) pci_addr = NULL; |