log src/c/driver.c

age author description
Sun, 07 Dec 2008 11:19:13 -0500 Adam Chlipala Treat user-provided error messages as XML
Sun, 23 Nov 2008 11:47:28 -0500 Adam Chlipala Ignore SIGPIPE
Thu, 20 Nov 2008 12:16:30 -0500 Adam Chlipala Profiling support
Thu, 20 Nov 2008 10:44:28 -0500 Adam Chlipala Fix missing initial <html> after restarts
Sat, 08 Nov 2008 12:24:23 -0500 Adam Chlipala Add help text for generated web servers
Sat, 08 Nov 2008 10:58:59 -0500 Adam Chlipala Fix parsing of last input header
Sat, 08 Nov 2008 09:55:36 -0500 Adam Chlipala Generated web servers use getopt()