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