diff src/c/urweb.c @ 844:74a1e3bdf430

Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 16:45:00 -0400
parents 249740301a0a
children 158d980889ac
line wrap: on
line diff
--- a/src/c/urweb.c	Sun Jun 07 14:15:22 2009 -0400
+++ b/src/c/urweb.c	Sun Jun 07 16:45:00 2009 -0400
@@ -1278,12 +1278,12 @@
   size_t s_len = strlen(s);
 
   uw_check_script(ctx, 6 + INTS_MAX + s_len);
-  sprintf(ctx->script.front, "s%d.v=%n", (int)n, &len);
+  sprintf(ctx->script.front, "sv(s%d,%n", (int)n, &len);
   ctx->script.front += len;
   strcpy(ctx->script.front, s);
   ctx->script.front += s_len;
-  strcpy(ctx->script.front, ";");
-  ctx->script.front++;
+  strcpy(ctx->script.front, ");");
+  ctx->script.front += 2;
 
   return uw_unit_v;
 }