From f4444d855e421187fbc54a4c6e062548f187285c Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 6 Feb 2014 12:31:01 +0100
Subject: [PATCH] nicer msg
---
system/Substrate.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/system/Substrate.py b/system/Substrate.py
index cbc6f71..30ac997 100644
--- a/system/Substrate.py
+++ b/system/Substrate.py
@@ -233,7 +233,7 @@ class Pool:
print 'Done'
for (vname,bname) in self.load_starting():
self.substrate.add_starting_dummy (bname, vname)
- print 'After starting: IP pool'
+ print "After having loaded 'starting': IP pool"
print self.line()
# OS-dependent ping option (support for macos, for convenience)
ping_timeout_option = None
--
2.47.0