# HG changeset patch # User Adam Chlipala # Date 1227195868 18000 # Node ID 581554f8e642a0a7615b947cd5455a31457092e1 # Parent 12d163bb856f4a707f8140442d07eaaf8d2cd4a0 Fix missing initial after restarts diff -r 12d163bb856f -r 581554f8e642 src/c/driver.c --- a/src/c/driver.c Thu Nov 20 10:41:58 2008 -0500 +++ b/src/c/driver.c Thu Nov 20 10:44:28 2008 -0500 @@ -189,9 +189,10 @@ printf("Serving URI %s....\n", path); uw_set_headers(ctx, headers); - uw_write(ctx, ""); while (1) { + uw_write(ctx, ""); + if (uw_db_begin(ctx)) { printf("Error running SQL BEGIN\n"); if (retries_left)