Skip to content
  • Alexandre Duret-Lutz's avatar
    parseaut: do not close fd or stdin · 49266dee
    Alexandre Duret-Lutz authored
    * spot/parseaut/public.hh, spot/parseaut/scanaut.ll: When parsing
    automata read from some given FD, do not close the file descriptor, as
    the caller is likely to already close it, and closing FDs twice is very
    bad.  This seems to have be the root of some issue we had with recent
    jupyter versions, were 0MQ would crash with "Bad file descriptor"
    messages.  Also do not close stdin while we are at it.
    * NEWS: Mention the bug.
    49266dee