tree e1dbd048c3e33e802c8304c5eabc77347b0fead0
parent 7b616582edf0c2253f9c88405079c69c058ea4f0
author Alexander Afanasyev <alexander.afanasyev@ucla.edu> 1408330077 -0700
committer Vince Lehman <vslehman@memphis.edu> 1414611921 -0500

conf: Add `general.router-dead-interval` configuration setting

refs: #1878

Change-Id: I21f2837118cda424904e0b0e60708a12deeabc8e