| 82 | typename std::enable_if< |
| 83 | !std::is_void<typename result_of<F()>::type>::value, int>::type = 0> |
| 84 | typename result_of<F()>::type execute(const F& f) |
| 85 | { |
| 86 | terminate(self()); // Terminate process after function returns. |
| 87 | return f(); |
| 88 | } |
| 89 | |
| 90 | template < |
| 91 | typename F, |