diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-06 09:47:16 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-06 09:47:16 -0500 |
| commit | 4f82d607ed4549ecb4bea8ebfc93cfa1b1cec8d2 (patch) | |
| tree | a2eeed536be5e7cb6b43bf4bc8c8b48af01784a0 /src/compiler.sml | |
| parent | 1841f3b75ec441d16d289cb768526c374f16960a (diff) | |
Request header reading works
Diffstat (limited to 'src/compiler.sml')
| -rw-r--r-- | src/compiler.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 1124bfda..de0490c3 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -552,7 +552,7 @@ fun compile job = val (cname, oname, cleanup) = if #debug job then - ("/tmp/urweb.c", "/tmp/urweb.o", fn () => ()) + ("/tmp/webapp.c", "/tmp/webapp.o", fn () => ()) else let val dir = OS.FileSys.tmpName () @@ -560,8 +560,8 @@ fun compile job = OS.FileSys.remove dir else () - val cname = OS.Path.joinDirFile {dir = dir, file = "urweb.c"} - val oname = OS.Path.joinDirFile {dir = dir, file = "urweb.o"} + val cname = OS.Path.joinDirFile {dir = dir, file = "webapp.c"} + val oname = OS.Path.joinDirFile {dir = dir, file = "webapp.o"} in OS.FileSys.mkDir dir; (cname, oname, |