Console scripts: abort all ranks on an uncaught exception (issue #807) - #815
Open
DLWoodruff wants to merge 2 commits into
Open
Console scripts: abort all ranks on an uncaught exception (issue #807)#815DLWoodruff wants to merge 2 commits into
DLWoodruff wants to merge 2 commits into