<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
Hi Louis,
<div><br>
</div>
<div>You’re welome!</div>
<div><br>
</div>
<div>It definitely handles the “/dev/stdin” case. Other possible fixes are also being considered.</div>
<div><br>
</div>
<div>The Windows case is yet to be investigated, but if needed, does not have to be part of this issue.</div>
<div><br>
</div>
<div>Brian<br id="lineBreakAtBeginningOfMessage">
<div><br>
<blockquote type="cite">
<div>On Oct 3, 2024, at 11:35 AM, Louis Bergelson <louisb@broadinstitute.org> wrote:</div>
<br class="Apple-interchange-newline">
<div><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;">Thanks
 for looking into this!  That sounds like it would work for my use case.  Anything that returns a result instead of a crash would be a huge improvement.   My main concern is definitely unix/bsd/osx systems, I don't have a good sense of how pipes work on windows
 or if there is an analogous issue there.  </span></div>
</blockquote>
</div>
<br>
</div>
</body>
</html>