diff 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
line wrap: on
line diff
--- a/src/compiler.sml	Thu Jan 20 15:11:45 2011 -0500
+++ b/src/compiler.sml	Thu Jan 20 16:26:54 2011 -0500
@@ -337,7 +337,8 @@
      Option.app Settings.setDbms (#dbms job);
      Settings.setSafeGets (#safeGets job);
      Settings.setOnError (#onError job);
-     Settings.setMinHeap (#minHeap job))
+     Settings.setMinHeap (#minHeap job);
+     Settings.setSigFile (#sigFile job))
 
 fun inputCommentableLine inf =
     Option.map (fn s =>