The string constructor for doubles does not function very well. You
cannot add any character to a string with a double inside, because
the trailing '0' value is not at the end of the string / the lenght is
not computed properly. One result is that GameOptions will be
printed out without trailing newline.
This bug was addressed at the mailing list in February this year (also
patch provided, but it unfortunatle completely solves the problem). I
have written a patch that will fix this problem and include it in the
Log in to post a comment.