From 4d55ef1132770c1249203241a0311a1780970d7c Mon Sep 17 00:00:00 2001 From: Bob Lantz Date: Thu, 4 Dec 2014 08:57:28 -0800 Subject: [PATCH] Restore missing space in RT_GROUP_SCHED message --- mininet/node.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mininet/node.py b/mininet/node.py index d671086..5389d99 100644 --- a/mininet/node.py +++ b/mininet/node.py @@ -706,7 +706,7 @@ class CPULimitedHost( Host ): output = quietRun( 'grep CONFIG_RT_GROUP_SCHED /boot/config-%s' % release ) if output == '# CONFIG_RT_GROUP_SCHED is not set\n': - error( '\n*** error: please enable RT_GROUP_SCHED' + error( '\n*** error: please enable RT_GROUP_SCHED ' 'in your kernel\n' ) exit( 1 ) cls._rtGroupSched = True