[DGD][BUG] Null bytes are not ignored properly.

[Felix A. Croes]

Marc Spoorendonk <marc at freud.et.tudelft.nl> wrote:

> As far as I know null bytes are not used to terminate strings in DGD.
> Since I am using binary strings now, I encountered some bugs. (I run
> V1.1.49 and I didn't bother to check the last version of dgd.)
>
> I think that there are more bugs regarding this subject but this is one of
> them. (I'll mail the rest to you later when I localized them.)

There's another one in compile.c at line 1211 (DGD 1.1.67).  I'll
include fixes in 1.1.68.

Regards,
Dworkin

List config page:  http://list.imaginary.com/mailman/listinfo/dgd