Re: [ET Trac] [Einstein Toolkit] #1999: Make TerminationTrigger listen to signals

#1999: Make TerminationTrigger listen to signals ------------------------------------+--------------------------------------- Reporter: rhaas | Owner: Type: enhancement | Status: reviewed_ok Priority: optional | Milestone: Component: EinsteinToolkit thorn | Version: development version Resolution: | Keywords: TerminationTrigger ------------------------------------+--------------------------------------- Changes (by hinder):

* status: review => reviewed_ok

Comment:

I think this has had enough eyes on it now, and I don't think it's going to break anything serious, so please apply.