X-Git-Url: https://git.hcoop.net/hcoop/zz_old/portal.git/blobdiff_plain/ff2b7604ffdbdae8ddd86c2a4366830ae9d32084..77c62700505ceea96f459d328baf0a9fd69be7dd:/util.sml diff --git a/util.sml b/util.sml index 44895db..d1c7214 100644 --- a/util.sml +++ b/util.sml @@ -28,15 +28,57 @@ fun makeSet f items = | usr::rest => foldl (fn (usr, s) => s ^ ", " ^ f usr) ("(" ^ f usr) rest ^ ")" fun neg (r : real) = ~r +fun add (r1 : real, r2) = r1 + r2 +fun mult (r1, r2) = real r1 * r2 -fun isIdent ch = Char.isLower ch orelse Char.isDigit ch +fun isIdent ch = Char.isLower ch orelse Char.isDigit ch orelse ch = #"-" fun validHost s = - size s > 0 andalso size s < 20 andalso List.all isIdent (String.explode s) + size s > 0 andalso size s < 40 andalso List.all isIdent (String.explode s) fun validDomain s = size s > 0 andalso size s < 100 andalso List.all validHost (String.fields (fn ch => ch = #".") s) +fun validUser s = + size s > 0 andalso size s < 50 andalso List.all + (fn ch => isIdent ch orelse ch = #"." orelse ch = #"_" orelse ch = #"-" orelse ch = #"+") + (String.explode s) + +fun validEmailUser s = + size s > 0 andalso size s < 50 andalso List.all + (fn ch => Char.isAlphaNum ch orelse ch = #"." orelse ch = #"_" orelse ch = #"-" orelse ch = #"+") + (String.explode s) + +fun validEmail s = + (case String.fields (fn ch => ch = #"@") s of + [user, host] => validEmailUser user andalso validDomain host + | _ => false) + fun whoisUrl dom = String.concat ["http://reports.internic.net/cgi/whois?whois_nic=", dom, "&type=domain"] -end \ No newline at end of file +val rnd = ref (Random.rand (0, 0)) + +fun init () = rnd := Random.rand (SysWord.toInt (Posix.Process.pidToWord (Posix.ProcEnv.getpid ())), + SysWord.toInt (Posix.Process.pidToWord (Posix.ProcEnv.getpid ()))) + +fun randomPassword () = Int.toString (Int.abs (Random.randInt (!rnd))) + +fun domainDir dom = + String.concatWith "/" ("/etc/domains" :: String.fields (fn ch => ch = #".") dom) + +fun readFile fname = + let + val inf = TextIO.openIn fname + + fun readLines lines = + case TextIO.inputLine inf of + NONE => String.concat (List.rev lines) + | SOME line => readLines (line :: lines) + in + readLines [] + before TextIO.closeIn inf + end + +fun mem (x, ls) = List.exists (fn y => y = x) ls + +end