view extras/mini-os/domain_config @ 15852:7dba4441bf92

xend: Fix error message for xm trigger command.

When I tested xm trigger command with a wrong argument, I saw the
following error message.

# xm trigger vm1 xyz
Error: __init__() takes exactly 2 arguments (3 given)
Usage: xm trigger <Domain> <nmi|reset|init> [<VCPU>]

Send a trigger to a domain.

This patch fixes the error message as follows.

# xm trigger vm1 xyz
Error: Invalid trigger: xyz
Usage: xm trigger <Domain> <nmi|reset|init> [<VCPU>]

Send a trigger to a domain.

The type of "TRIGGER_TYPE" is dictionary. domain_send_trigger()
refers to the keys of "TRIGGER_TYPE" without using keys() currently.
This patch adds keys() there.

Signed-off-by: Masaki Kanno <kanno.masaki@jp.fujitsu.com>
author kfraser@localhost.localdomain
date Fri Sep 07 11:24:28 2007 +0100 (2007-09-07)
parents c176d2e45117
children dcab07f0776d
line source
1 # -*- mode: python; -*-
2 #============================================================================
3 # Python configuration setup for 'xm create'.
4 # This script sets the parameters used when a domain is created using 'xm create'.
5 # You use a separate script for each domain you want to create, or
6 # you can set the parameters for the domain on the xm command line.
7 #============================================================================
9 #----------------------------------------------------------------------------
10 # Kernel image file.
11 kernel = "mini-os.elf"
13 # Initial memory allocation (in megabytes) for the new domain.
14 memory = 32
16 # A name for your domain. All domains must have different names.
17 name = "Mini-OS"
19 on_crash = 'destroy'