diff -r 450d2d5f4735 -r 360b9aabe17e src/server/util/pblock.cpp
--- a/src/server/util/pblock.cpp	Sat Oct 06 13:00:07 2012 +0200
+++ b/src/server/util/pblock.cpp	Sat Dec 15 16:05:03 2012 +0100
@@ -251,6 +251,7 @@
 const pb_key *const pb_key_path_info = _create_key("path-info");
 const pb_key *const pb_key_pblock = _create_key("pblock");
 const pb_key *const pb_key_poll_interval = _create_key("poll-interval");
+const pb_key *const pb_key_pool = _create_key("pool"); // new
 const pb_key *const pb_key_port = _create_key("port");
 const pb_key *const pb_key_ppath = _create_key("ppath");
 const pb_key *const pb_key_pragma = _create_key("pragma");