[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Check which IsaCoSy runs got interrupted
- Subject: Re: Check which IsaCoSy runs got interrupted
- From: Chris Warburton
- Date: Tue, 06 Mar 2018 16:41:59 +0000
- In-reply-to: <ad8b179ca9d149f2-0-artemis@nixos>
- References: <ad8b179ca9d149f2-0-artemis@nixos>
We now check stderr for 'interruption' messages and mark them as failed.