# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1238937960 14400
# Node ID 79a49c509007e871af5f22d031a2e5817fd707a8
# Parent  500e93aa436f0dca48b7f9dab12ed20bec807309
Avoid generating empty <script> blocks

diff -r 500e93aa436f -r 79a49c509007 src/c/urweb.c
--- a/src/c/urweb.c	Sat Apr 04 15:56:47 2009 -0400
+++ b/src/c/urweb.c	Sun Apr 05 09:26:00 2009 -0400
@@ -692,6 +692,8 @@
 const char *uw_Basis_get_script(uw_context ctx, uw_unit u) {
   if (ctx->script_header[0] == 0)
     return "";
+  else if (buf_used(&ctx->script) == 0)
+    return ctx->script_header;
   else {
     char *r = uw_malloc(ctx, strlen(ctx->script_header) + 42 + buf_used(&ctx->script));
     sprintf(r, "%s<script type=\"text/javascript\">%s</script>",