comparison src/compiler.sml @ 1408:56ba9c442a2d

Use sigFile again; do redirects in a way that is compatible with FastCGI
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Jan 2011 16:26:54 -0500
parents a5bfed32d4f7
children 66092ce45a76
comparison
equal deleted inserted replaced
1407:7d963b8019e6 1408:56ba9c442a2d
335 Settings.setMimeRules (#filterMime job); 335 Settings.setMimeRules (#filterMime job);
336 Option.app Settings.setProtocol (#protocol job); 336 Option.app Settings.setProtocol (#protocol job);
337 Option.app Settings.setDbms (#dbms job); 337 Option.app Settings.setDbms (#dbms job);
338 Settings.setSafeGets (#safeGets job); 338 Settings.setSafeGets (#safeGets job);
339 Settings.setOnError (#onError job); 339 Settings.setOnError (#onError job);
340 Settings.setMinHeap (#minHeap job)) 340 Settings.setMinHeap (#minHeap job);
341 Settings.setSigFile (#sigFile job))
341 342
342 fun inputCommentableLine inf = 343 fun inputCommentableLine inf =
343 Option.map (fn s => 344 Option.map (fn s =>
344 let 345 let
345 val s = #1 (Substring.splitl (fn ch => ch <> #"#") (Substring.full s)) 346 val s = #1 (Substring.splitl (fn ch => ch <> #"#") (Substring.full s))