Fixing little bugs during first deleuze/mire test
authorAdam Chlipala <adamc@hcoop.net>
Sat, 9 Dec 2006 19:02:47 +0000 (19:02 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 9 Dec 2006 19:02:47 +0000 (19:02 +0000)
Makefile
src/domain.sml
src/main.sml

index a4ab474..dd84ab0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -59,10 +59,10 @@ openssl/mlton/FFI/libssl.h.mlb: openssl/openssl_sml.h
        ../openssl_sml.h
 
 %.lex.sml: %.lex
        ../openssl_sml.h
 
 %.lex.sml: %.lex
-       ml-lex $<
+       mllex $<
 
 %.grm.sig %.grm.sml: %.grm
 
 %.grm.sig %.grm.sml: %.grm
-       ml-yacc $<
+       mlyacc $<
 
 bin/domtool-server: openssl/mlton/FFI/libssl.h.mlb \
                src/domtool-server.mlb src/domtool.lex.sml \
 
 bin/domtool-server: openssl/mlton/FFI/libssl.h.mlb \
                src/domtool-server.mlb src/domtool.lex.sml \
index f22c73b..e1099b4 100644 (file)
@@ -49,7 +49,7 @@ val your_pths = ref SS.empty
 fun your_paths () = !your_pths
 
 fun setUser user =
 fun your_paths () = !your_pths
 
 fun setUser user =
-    (usr := Config.testUser;
+    (usr := user;
      your_doms := Acl.class {user = getUser (),
                             class = "domain"};
      your_usrs := Acl.class {user = getUser (),
      your_doms := Acl.class {user = getUser (),
                             class = "domain"};
      your_usrs := Acl.class {user = getUser (),
index 9f01855..a3b78e8 100644 (file)
@@ -145,7 +145,7 @@ fun request fname =
        val user = Posix.SysDB.Passwd.name (Posix.SysDB.getpwuid uid)
 
        val context = OpenSSL.context (Config.certDir ^ "/" ^ user ^ ".pem",
        val user = Posix.SysDB.Passwd.name (Posix.SysDB.getpwuid uid)
 
        val context = OpenSSL.context (Config.certDir ^ "/" ^ user ^ ".pem",
-                                      Config.keyDir ^ "/" ^ user ^ ".pem",
+                                      Config.keyDir ^ "/" ^ user ^ "/key.pem",
                                       Config.trustStore)
 
        val bio = OpenSSL.connect (context, dispatcher)
                                       Config.trustStore)
 
        val bio = OpenSSL.connect (context, dispatcher)
@@ -248,7 +248,7 @@ fun slave () =
        val host = hostname ()
 
        val context = OpenSSL.context (Config.certDir ^ "/" ^ host ^ ".pem",
        val host = hostname ()
 
        val context = OpenSSL.context (Config.certDir ^ "/" ^ host ^ ".pem",
-                                      Config.keyDir ^ "/" ^ host ^ ".pem",
+                                      Config.keyDir ^ "/" ^ host ^ "/key.pem",
                                       Config.trustStore)
 
        val sock = OpenSSL.listen (context, Config.slavePort)
                                       Config.trustStore)
 
        val sock = OpenSSL.listen (context, Config.slavePort)