From 24c63fcfde5facc0479c345f25d2cf9faa36b3e5 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 25 Jun 2010 16:30:19 +0200
Subject: [PATCH] fix: did not export the granularity

---
 system/TestPlc.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/system/TestPlc.py b/system/TestPlc.py
index 0ebb92c..86826dd 100644
--- a/system/TestPlc.py
+++ b/system/TestPlc.py
@@ -546,7 +546,8 @@ class TestPlc:
                      'PLC_WWW_HOST',
                      'PLC_BOOT_HOST',
                      'PLC_NET_DNS1',
-                     'PLC_NET_DNS2']:
+                     'PLC_NET_DNS2',
+                     'PLC_RESERVATION_GRANULARITY',]:
             fileconf.write ('e %s\n%s\n'%(var,self.plc_spec[var]))
         fileconf.write('w\n')
         fileconf.write('q\n')
-- 
2.43.0