From: Peter Dinda <pdinda@northwestern.edu>
Date: Sun, 24 Feb 2013 19:01:03 +0000 (-0600)
Subject: Correct scheduler startup when no option given
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=d0749ff925973a43b8a9d98645d52d02d8766331;p=palacios.git

Correct scheduler startup when no option given
---

diff --git a/palacios/src/palacios/vmm_scheduler.c b/palacios/src/palacios/vmm_scheduler.c
index 40557a1..5631890 100644
--- a/palacios/src/palacios/vmm_scheduler.c
+++ b/palacios/src/palacios/vmm_scheduler.c
@@ -86,7 +86,7 @@ int V3_enable_scheduler() {
     scheduler = NULL;
     sched_name = v3_lookup_option("scheduler");
 
-    if (!sched_name) {
+    if (sched_name) {
 	scheduler = v3_scheduler_lookup(sched_name);
     }