X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/563e77927eb5faaae4571bd2b0811de590368581..9b8c6dc8df86d6ba1c7512cb12445912a9035a89:/src/domain.sml

diff --git a/src/domain.sml b/src/domain.sml
index 63b039c..cdc3580 100644
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -27,6 +27,7 @@ structure SS = DataStructures.StringSet
 
 val ssl_context = ref (NONE : OpenSSL.context option)
 fun set_context ctx = ssl_context := SOME ctx
+fun get_context () = valOf (!ssl_context)
 
 val nodes = map #1 Config.nodeIps
 val nodeMap = foldl (fn ((node, ip), mp) => SM.insert (mp, node, ip))
@@ -235,6 +236,10 @@ val _ = Env.type_one "node"
 	Env.string
 	validNode
 
+val _ = Env.type_one "mime_type"
+	Env.string
+	(CharVector.exists (fn ch => ch = #"/"))
+
 val _ = Env.registerFunction ("your_ip_to_ip",
 			      fn [e] => SOME e
 			       | _ => NONE)