|
|
@ -204,8 +204,8 @@ void ThreadedSSAGraphExecutor::RunOp(
|
|
|
|
VLOG(10) << op << " " << op->Name() << "Signal posted";
|
|
|
|
VLOG(10) << op << " " << op->Name() << "Signal posted";
|
|
|
|
} catch (platform::EnforceNotMet ex) {
|
|
|
|
} catch (platform::EnforceNotMet ex) {
|
|
|
|
exception_.reset(new platform::EnforceNotMet(ex));
|
|
|
|
exception_.reset(new platform::EnforceNotMet(ex));
|
|
|
|
} catch (...) {
|
|
|
|
} catch (std::exception &exp) {
|
|
|
|
LOG(FATAL) << "Unknown exception catched";
|
|
|
|
LOG(FATAL) << exp.what();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
};
|
|
|
|
if (pool_) {
|
|
|
|
if (pool_) {
|
|
|
|