monitor: change debug_printf in delete_steps_init() to DEBUG_CAPOPS.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 17 Feb 2015 15:54:46 +0000 (16:54 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 17 Feb 2015 15:54:46 +0000 (16:54 +0100)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

usr/monitor/capops/deletestep.c

index c56b919..90bc007 100644 (file)
@@ -36,7 +36,7 @@ delete_steps_init(struct waitset *ws)
 
     struct waitset *myws = delete_steps_get_waitset();
     if (myws != NULL) {
-        debug_printf("delete stepping already initialized with ws=%p\n", myws);
+        DEBUG_CAPOPS("delete stepping already initialized with ws=%p, doing nothing\n", myws);
         return;
     }