FULL_INTERVAL     794 src/platform-freebsd.cc         Sleep(FULL_INTERVAL);
FULL_INTERVAL    1157 src/platform-linux.cc         Sleep(FULL_INTERVAL);
FULL_INTERVAL     879 src/platform-openbsd.cc         Sleep(FULL_INTERVAL);
FULL_INTERVAL     797 src/platform-solaris.cc         Sleep(FULL_INTERVAL);