tree bfebfbc71beecb943751e6c477ebfc16e075e67d
parent d94a8c62d59b2474ead251145e2b1334d40f2eaa
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1359068477 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1359068477 -0800

small fixes in dispatcher