# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1224611798 14400
# Node ID cc71fb7e5e548a4c0cb611a430ab7d7fab04603f
# Parent  e756d3a477267af032748351969edd1a3b726632
Remove printing of HTTP headers

diff -r e756d3a47726 -r cc71fb7e5e54 src/c/driver.c
--- a/src/c/driver.c	Tue Oct 21 13:54:48 2008 -0400
+++ b/src/c/driver.c	Tue Oct 21 13:56:38 2008 -0400
@@ -120,8 +120,6 @@
 
         *s = 0;
 
-        printf("Read: %s\n", buf);
-      
         if (!(s = strstr(buf, "\r\n"))) {
           fprintf(stderr, "No newline in buf\n");
           break;
@@ -129,6 +127,8 @@
 
         *s = 0;
         cmd = s = buf;
+
+        printf("Read: %s\n", buf);
       
         if (!strsep(&s, " ")) {
           fprintf(stderr, "No first space in HTTP command\n");