#1996: Formaline can deadlock ------------------------------------+--------------------------------------- Reporter: eschnett | Owner: Type: defect | Status: review Priority: critical | Milestone: ET_2016_11 Component: EinsteinToolkit thorn | Version: development version Resolution: | Keywords: ------------------------------------+--------------------------------------- Changes (by knarf):
* status: new => review
Comment:
In general I don't like to use OS-specific file names (/dev/null). However, since this would close a critical bug, and since the script uses /dev/null already in a few other places, using it in one more wouldn't make it worse.