| commit | 354d46d395ab8968113d1590fbdb50f90682c8b2 | [log] [tgz] |
|---|---|---|
| author | Zhenkai Zhu <zhenkai@cs.ucla.edu> | Wed Feb 06 13:49:48 2013 -0800 |
| committer | Zhenkai Zhu <zhenkai@cs.ucla.edu> | Wed Feb 06 14:20:15 2013 -0800 |
| tree | 9f40819630c62fe919688615f185d2889e036220 | |
| parent | a272a4efde7a958ea7f516ec05ce4bcd8061dcc3 [diff] [blame] |
timed-wait for fetcher in hope to solve crash problem Change-Id: I43d975c79deae25ab193fa484127b246e917724f
diff --git a/src/fetch-manager.h b/src/fetch-manager.h index 31cb063..25ccac0 100644 --- a/src/fetch-manager.h +++ b/src/fetch-manager.h
@@ -85,6 +85,9 @@ void ScheduleFetches (); + void + TimedWait (Fetcher &fetcher); + private: Ccnx::CcnxWrapperPtr m_ccnx; Mapping m_mapping;