tree 6e2e49a329c40ee0077f71c7a06d392cfec52161
parent b8c49affc8da421620e28adfb655a79e032023e6
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1359527544 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1359527544 -0800

add fetch-task-db and integrate it with fetch-manager