[#1418] Checkpoint: updated for 1.9.1

diff --git a/src/bin/dhcp4/dhcp4_parser.yy b/src/bin/dhcp4/dhcp4_parser.yy
index 07102c76c120c886e4d3a5b7ec13dee295902c9d..f21bd970a2ed74f166da93a656bc135b08ddaedb 100644 (file)
--- a/src/bin/dhcp4/dhcp4_parser.yy
+++ b/src/bin/dhcp4/dhcp4_parser.yy
@@ -550,13 +550,13 @@ t2_percent: T2_PERCENT COLON FLOAT {
 };
 
 cache_threshold: CACHE_THRESHOLD COLON FLOAT {
-    // Add unique here
+    ctx.unique("cache-threshold", ctx.loc2pos(@1));
     ElementPtr ct(new DoubleElement($3, ctx.loc2pos(@3)));
     ctx.stack_.back()->set("cache-threshold", ct);
 };
 
 cache_max: CACHE_MAX COLON INTEGER {
-    // Add unique here
+    ctx.unique("cache-max", ctx.loc2pos(@1));
     ElementPtr cm(new IntElement($3, ctx.loc2pos(@3)));
     ctx.stack_.back()->set("cache-max", cm);
 };