tree 31882ff36b00391a25128104c388b58117d8d91a
parent 3b40659094bb303539a4e7fd11f010215423af26
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1359179697 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1359179805 -0800

make sync interest interval configurable
default is 20.0 for dispatcher's SyncCore