[#893] minor changes

diff --git a/doc/examples/kea4/all-keys.json b/doc/examples/kea4/all-keys.json
index 098b9a3906c19ee408f50b899ba052d9632858b4..dc60e33605e50a8376c9fd74fae02dc3672e3dcf 100644 (file)
--- a/doc/examples/kea4/all-keys.json
+++ b/doc/examples/kea4/all-keys.json
@@ -523,7 +523,7 @@
        // When the maximum count is 0 the maximum age (in seconds) applies.
        "statistic-default-sample-age": 60,
 
-       // By default Kea processes packets on a single thread (default 'false'
+        // By default Kea processes packets on a single thread (default 'false'
         // value for this option). To enable multi-threading, this option can be
         // set ('true' value).
         "enable-multi-threading": false,

diff --git a/doc/examples/kea6/all-keys.json b/doc/examples/kea6/all-keys.json
index 7b87fbeac1098235478b92b6d1cdfe4c34649325..5f395fe0f9c6aff07a1483e72440735b4f8a7969 100644 (file)
--- a/doc/examples/kea6/all-keys.json
+++ b/doc/examples/kea6/all-keys.json
@@ -464,7 +464,7 @@
        // When the maximum count is 0 the maximum age (in seconds) applies.
        "statistic-default-sample-age": 60,
 
-       // By default Kea processes packets on a single thread (default 'false'
+        // By default Kea processes packets on a single thread (default 'false'
         // value for this option). To enable multi-threading, this option can be
         // set ('true' value).
         "enable-multi-threading": false,

diff --git a/src/bin/dhcp4/dhcp4_parser.yy b/src/bin/dhcp4/dhcp4_parser.yy
index 8d185696afb341a70b344e6c2ccf82f8597e4132..fbc2e1a52ab6f699fb7bb1ebb64ee5acaab0b2ee 100644 (file)
--- a/src/bin/dhcp4/dhcp4_parser.yy
+++ b/src/bin/dhcp4/dhcp4_parser.yy
@@ -510,10 +510,10 @@ global_param: valid_lifetime
             | store_extended_info
             | statistic_default_sample_count
             | statistic_default_sample_age
-            | unknown_map_entry
             | enable_multi_threading
             | packet_thread_pool_size
             | packet_thread_queue_size
+            | unknown_map_entry
             ;
 
 valid_lifetime: VALID_LIFETIME COLON INTEGER {

diff --git a/src/bin/dhcp6/dhcp6_parser.yy b/src/bin/dhcp6/dhcp6_parser.yy
index 723ecff2357553211456154916c70846815bf570..7ea3be4a8c1447875f9241f9edac9ea0bcd98ad6 100644 (file)
--- a/src/bin/dhcp6/dhcp6_parser.yy
+++ b/src/bin/dhcp6/dhcp6_parser.yy
@@ -518,10 +518,10 @@ global_param: data_directory
             | store_extended_info
             | statistic_default_sample_count
             | statistic_default_sample_age
-            | unknown_map_entry
             | enable_multi_threading
             | packet_thread_pool_size
             | packet_thread_queue_size
+            | unknown_map_entry
             ;
 
 data_directory: DATA_DIRECTORY {