[Xen-devel] [PATCH] xenbaked.c: fix "bad domain id: 32"

["KUWAMURA Shin'ya" <kuwa@xxxxxxxxxxxxxx>]

Hi,

This patch fixes a problem that xenmon.py gets the message "bad domain
id: 32" when a domain of domain ID 32 is running.

This only removes checking the maximun of domain ID because NDOMAINS
does not mean the maximum of domain ID.

Signed-off-by: KUWAMURA Shin'ya <kuwa@xxxxxxxxxxxxxx>

Thanks,
-- 
  KUWAMURA Shin'ya

diff -r bbabdebc54ad tools/xenmon/xenbaked.c
--- a/tools/xenmon/xenbaked.c   Wed Jul 19 21:13:36 2006 +0100
+++ b/tools/xenmon/xenbaked.c   Fri Jul 21 10:09:53 2006 +0900
@@ -766,7 +766,7 @@ int indexof(int domid)
   int xc_handle, ndomains;
   extern void qos_kill_thread(int domid);
   
-  if (domid < 0 || domid >= NDOMAINS) {        // shouldn't happen
+  if (domid < 0) {     // shouldn't happen
     if (domid != IDLE_DOMAIN_ID) {
       printf("bad domain id: %d\r\n", domid);
       return 0;

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel