<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>