tree dc8f3f2829405d4fc0aa2d626650d8d65fdbdb73
parent ab9215c5ac7a5b3bfad68632de2cc79932e10601
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1359446463 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1359446482 -0800

use executor to delete fetcher, some segfault with "intrusive" container