Yes, adding self flush solves the problem.
De : pharo-project-bounces@lists.gforge.inria.fr [pharo-project-bounces@lists.gforge.inria.fr] de la part de Pavel Krivanek [pavel.krivanek@gmail.com]
Date d'envoi : vendredi 26 avril 2013 10:27
� : Pharo-project@lists.gforge.inria.fr
Objet : Re: [Pharo-project] RE : cannot modify class comments on Linux
The reason is in the optimalizations in the latest glibc. It really does not write the new content to the changes file immediately. We need to call flush at the end of nextChunkPut:
Cheers,
-- Pavel
On Fri, Apr 26, 2013 at 9:57 AM, GOUBIER Thierry
<thierry.goubier@cea.fr> wrote:
Reproduced on Ubuntu 13.04.
Class organization remoteString filePositionHi is past the end of the changes file (i.e. exactly equal to the file size if the comment is the last operation).
Thierry
Jaroslav wrote this:
This does work on F17, but it doesn't work on F18, F19. Maybe glibc issue?
I guess the reproducer needs glibc-2.16 and up, IMHO 12.04 has 2.15 same as F17, so I guess this would be also reproducible on Ubuntu 13.04.