Changeset a9fbf7 in git

Timestamp:

Mar 27, 2017, 5:03:50 PM (7 years ago)

Author:

Erik M. Bray <erik.bray@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

7129d8d5eb03dd179f4905843cdc9a79983007d4

Parents:

33462b33c988fac4e08b6e4e2353ff745bc1d5cf

git-author:

Erik M. Bray <erik.bray@lri.fr>2017-03-27 15:03:50+00:00

git-committer:

Erik M. Bray <erik.bray@lri.fr>2017-03-27 15:13:59+00:00

Message:

Don't try to re-init stdin if we just finished reading from a (non-TTY) stdin

Without this, stdin gets closed, but is still set to the currentVoice, leading to instability

File:

• Singular/fevoices.cc (modified) (1 diff)

Singular/fevoices.cc

@@ -376 +376 @@
       currentVoice->buffer=NULL;
     }
-    if ((currentVoice->prev==NULL)&&(currentVoice->sw==BI_file))
+    if ((currentVoice->prev==NULL)
+    &&(currentVoice->sw==BI_file)
+    &&(currentVoice->files!=stdin))
     {
       currentVoice->prev=feInitStdin(currentVoice);