# HG changeset patch # User Adam Chlipala # Date 1228666753 18000 # Node ID b3b06fef7bb5da80712c5023866b07415fac5c2b # Parent 8e615bb605c9000f6bf4c63d2d0ef47f2a11ab34 Treat user-provided error messages as XML diff -r 8e615bb605c9 -r b3b06fef7bb5 src/c/driver.c --- a/src/c/driver.c Sun Dec 07 10:59:14 2008 -0500 +++ b/src/c/driver.c Sun Dec 07 11:19:13 2008 -0500 @@ -255,10 +255,11 @@ uw_reset_keep_error_message(ctx); uw_write_header(ctx, "HTTP/1.1 500 Internal Server Error\r\n"); - uw_write_header(ctx, "Content-type: text/plain\r\n"); + uw_write_header(ctx, "Content-type: text/html\r\n"); + uw_write(ctx, "Fatal Error"); uw_write(ctx, "Fatal error: "); uw_write(ctx, uw_error_message(ctx)); - uw_write(ctx, "\n"); + uw_write(ctx, "\n"); try_rollback(ctx);