# HG changeset patch # User Adam Chlipala # Date 1226159939 18000 # Node ID 9babc5d2ec5a093659ce91434f5f8c21447da06e # Parent 70ee90105fce6172498b384f8e27256c4fe9e01d Fix parsing of last input header diff -r 70ee90105fce -r 9babc5d2ec5a src/c/driver.c --- a/src/c/driver.c Sat Nov 08 10:46:14 2008 -0500 +++ b/src/c/driver.c Sat Nov 08 10:58:59 2008 -0500 @@ -137,7 +137,7 @@ failure_kind fk; char *cmd, *path, *headers, path_copy[uw_bufsize+1], *inputs; - *s = 0; + s[2] = 0; if (!(s = strstr(buf, "\r\n"))) { fprintf(stderr, "No newline in buf\n");