[MLton-commit] r5851

[Matthew Fluet]

Updating wiki tool
----------------------------------------------------------------------

U   tools/wiki/main.sml

----------------------------------------------------------------------

Modified: tools/wiki/main.sml
===================================================================
--- tools/wiki/main.sml	2007-08-13 00:16:59 UTC (rev 5850)
+++ tools/wiki/main.sml	2007-08-13 00:30:19 UTC (rev 5851)
@@ -510,10 +510,9 @@
                   in
                      case List.peek (headers, fn h =>
                                      case h of
-                                        Header.Extension {name, ...} =>
-                                           name = "set-cookie"
+                                        Header.SetCookie _ => true
                                       | _ => false) of
-                        SOME (Header.Extension {value, ...}) =>
+                        SOME (Header.SetCookie value) =>
                            (case String.fields (value, fn c => c = #";") of
                                [cookie, _, _] =>
                                   (File.withOut (cookieFile, fn out =>