Proper checking of readable paths for domtool-doc
authorAdam Chlipala <adamc@hcoop.net>
Sun, 18 Nov 2007 16:25:12 +0000 (16:25 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 18 Nov 2007 16:25:12 +0000 (16:25 +0000)
src/domain.sml

index e0a3520..5a43f3c 100644 (file)
@@ -49,7 +49,7 @@ val your_pths = ref SS.empty
 fun your_paths () = !your_pths
 
 val world_readable = SS.addList (SS.empty, Config.worldReadable)
-val readable_pths = ref SS.empty
+val readable_pths = ref world_readable
 fun readable_paths () = !readable_pths
 
 fun setUser user =