dpp: ensure null terminating character

putting \0 at the end of the string does not cut it.
This commit is contained in:
Daniel Kochmański 2020-03-28 18:16:09 +01:00
parent fa24f95f7b
commit 3891bcc76b

View file

@ -361,7 +361,8 @@ read_string()
c = readc();
pushc(c);
} while (c != end);
pushstr(", -1)\0");
pushstr(", -1)");
pushc(0);
return str;
}