summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-09-03 09:51:23 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-09-03 09:51:23 -0400
commit0643dd336bd6e23013b0d901d73127829ac469eb (patch)
tree85a2cbd3b16055c6d3cbf7745d4253afd4450389 /src
parenta1d30ae0ade8d45f4f358871925c6416cb691f3f (diff)
Update tutorial for Ur/Web changes
Diffstat (limited to 'src')
-rw-r--r--src/c/static.c1
-rw-r--r--src/tutorial.sml4
2 files changed, 3 insertions, 2 deletions
diff --git a/src/c/static.c b/src/c/static.c
index cf1d0330..80ea5387 100644
--- a/src/c/static.c
+++ b/src/c/static.c
@@ -25,6 +25,7 @@ int main(int argc, char *argv[]) {
ctx = uw_init(0, NULL, log_debug);
uw_set_app(ctx, &uw_application);
+ uw_initialize(ctx);
while (1) {
fk = uw_begin(ctx, argv[1]);
diff --git a/src/tutorial.sml b/src/tutorial.sml
index 1b8834f5..dd2d3f7d 100644
--- a/src/tutorial.sml
+++ b/src/tutorial.sml
@@ -251,13 +251,13 @@ fun doUr fname =
val s = readAll inf
val _ = Unix.reap proc
- val (befor, after) = Substring.position "<sc>" s
+ val (befor, after) = Substring.position "<body>" s
in
if Substring.isEmpty after then
print ("Bad output for " ^ fname ^ "! [1]\n")
else
let
- val after = Substring.slice (after, 4, NONE)
+ val after = Substring.slice (after, 6, NONE)
val (befor, after) = Substring.position "</body>" after
in
if Substring.isEmpty after then