[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[patch #6302] Fix bugs in GET DATA/TYPE=TXT.
From: |
Ben Pfaff |
Subject: |
[patch #6302] Fix bugs in GET DATA/TYPE=TXT. |
Date: |
Sat, 08 Dec 2007 06:18:20 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.1) Gecko/20061205 Iceweasel/2.0.0.1 (Debian-2.0.0.1+dfsg-1) |
Update of patch #6302 (project pspp):
Status: Ready For Test/Review => Done
_______________________________________________________
Follow-up Comment #13:
>I suggest that casereader_is_empty should take a const argument.
I did consider this, but I decided against it because in fact it can have an
effect on the casereader, if it causes an error condition to be raised. Now,
it is difficult to imagine a situation where this is an observable difference
to a client--since an error can occur at any time--but a const casereader
isn't good for much anyway.
I checked in all these patches, including the one that you provided (and
thanks for it).
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/patch/?6302>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [patch #6302] Implement GET DATA/TYPE=TXT., (continued)
- [patch #6302] Implement GET DATA/TYPE=TXT., Jason H Stover, 2007/12/04
- [patch #6302] Implement GET DATA/TYPE=TXT., Ben Pfaff, 2007/12/04
- [patch #6302] Implement GET DATA/TYPE=TXT., John Darrington, 2007/12/04
- [patch #6302] Fix bugs in GET DATA/TYPE=TXT., Ben Pfaff, 2007/12/05
- [patch #6302] Fix bugs in GET DATA/TYPE=TXT., Ben Pfaff, 2007/12/06
- [patch #6302] Fix bugs in GET DATA/TYPE=TXT., Ben Pfaff, 2007/12/06
- [patch #6302] Fix bugs in GET DATA/TYPE=TXT., Ben Pfaff, 2007/12/06
- [patch #6302] Fix bugs in GET DATA/TYPE=TXT., John Darrington, 2007/12/07
- [patch #6302] Fix bugs in GET DATA/TYPE=TXT., John Darrington, 2007/12/07
- [patch #6302] Fix bugs in GET DATA/TYPE=TXT., Ben Pfaff, 2007/12/07
- [patch #6302] Fix bugs in GET DATA/TYPE=TXT.,
Ben Pfaff <=
- [patch #6302] Fix bugs in GET DATA/TYPE=TXT., John Darrington, 2007/12/08