Re: Reading a stream from a C string

Jeroen Demeyer on Fri, 11 Sep 2015 23:34:55 +0200

Re: Reading a stream from a C string

To: pari-dev@pari.math.u-bordeaux.fr
Subject: Re: Reading a stream from a C string
From: Jeroen Demeyer <jdemeyer@cage.ugent.be>
Date: Fri, 11 Sep 2015 23:34:48 +0200
Delivery-date: Fri, 11 Sep 2015 23:34:55 +0200
In-reply-to: <20150911124805.GA16897@yellowpig>
References: <55EAB4BE.6020003@cage.ugent.be> <20150908172230.GT19096@yellowpig> <55F1C6CC.6060103@cage.ugent.be> <20150911124805.GA16897@yellowpig>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0

On 2015-09-11 14:48, Bill Allombert wrote:

Why did you do that ? This cause funny crashes if we omit make clean.

Well, I don't think that fgets() is really mandatory, so I wanted tomove it away from the /* mandatory */ section.


Anyway, I can revert this, no problem.

References:
- Reading a stream from a C string
  - From: Jeroen Demeyer <jdemeyer@cage.ugent.be>
- Re: Reading a stream from a C string
  - From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
- Re: Reading a stream from a C string
  - From: Jeroen Demeyer <jdemeyer@cage.ugent.be>
- Re: Reading a stream from a C string
  - From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>