HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
cf77b3e
)
Increase length limits on domains
author
Adam Chlipala
<adamc@hcoop.net>
Sat, 19 Jan 2008 20:17:27 +0000
(20:17 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sat, 19 Jan 2008 20:17:27 +0000
(20:17 +0000)
src/domain.sml
patch
|
blob
|
blame
|
history
diff --git
a/src/domain.sml
b/src/domain.sml
index
d7b4052
..
8960bf9
100644
(file)
--- a/
src/domain.sml
+++ b/
src/domain.sml
@@
-113,11
+113,11
@@
fun validIpv6 s =
fun isIdent ch = Char.isLower ch orelse Char.isDigit ch
fun validHost s =
- size s > 0 andalso size s <
2
0
+ size s > 0 andalso size s <
5
0
andalso CharVector.all (fn ch => isIdent ch orelse ch = #"-") s
fun validDomain s =
- size s > 0 andalso size s <
1
00
+ size s > 0 andalso size s <
2
00
andalso List.all validHost (String.fields (fn ch => ch = #".") s)
fun validNode s = List.exists (fn s' => s = s') nodes